@misc{indiciae2f18a71b2437,
  title = {Fault tolerant sequential circuits using sequence invariant state machines},
  author = {Alahmad, M. and Whitaker, S.},
  year = {1991},
  url = {https://ntrs.nasa.gov/citations/19940013871},
  note = {Source identifier: 19940013871}
}