@misc{indiciaebd2a2bc31094,
  title = {Formal verification of an avionics microprocessor},
  author = {Srivas, Mandayam, K. and Miller, Steven P.},
  year = {1995},
  url = {https://ntrs.nasa.gov/citations/19950026975},
  note = {Source identifier: 19950026975}
}