@misc{indiciae7f63cc48341e,
  title = {Design Strategy for a Formally Verified Reliable Computing Platform},
  author = {Butler, Ricky W. and Caldwell, James L. and DiVito, Ben L.},
  year = {1991},
  url = {https://ntrs.nasa.gov/citations/20040139195},
  note = {Source identifier: 20040139195}
}