@misc{indiciaec16ddc76a4b9,
  title = {Reliable VLSI sequential controllers},
  author = {Whitaker, S. and Maki, G. and Shamanna, M.},
  year = {1990},
  url = {https://ntrs.nasa.gov/citations/19940004348},
  note = {Source identifier: 19940004348}
}