@misc{indiciae5f1bb4c0c913,
  title = {Reactive system verification case study: Fault-tolerant transputer communication},
  author = {Crane, D. Francis and Hamory, Philip J.},
  year = {1993},
  url = {https://ntrs.nasa.gov/citations/19940011065},
  note = {Source identifier: 19940011065}
}