@misc{indiciae17f8b7bac806,
  title = {Formal Verification of the AAMP-FV Microcode},
  author = {Miller, Steven P. and Greve, David A. and Wilding, Matthew M. and Srivas, Mandayam},
  year = {1999},
  url = {https://ntrs.nasa.gov/citations/19990018441},
  note = {Source identifier: 19990018441}
}