@misc{indiciae2a69a59aae77,
  title = {Advanced Tools and Techniques for Formal Techniques in Aerospace Systems},
  author = {Knight, John C.},
  year = {2005},
  url = {https://ntrs.nasa.gov/citations/20050185303},
  note = {Source identifier: 20050185303}
}