@misc{indiciae500ebbbddf93,
  title = {Towards composition of verified hardware devices},
  author = {Schubert, E. Thomas and Levitt, K. and Cohen, G. C.},
  year = {1991},
  url = {https://ntrs.nasa.gov/citations/19920006333},
  note = {Source identifier: 19920006333}
}