@misc{indiciae78dd7eac4aa3,
  title = {What can formal methods offer to digital flight control systems design},
  author = {Good, Donald I.},
  year = {1990},
  url = {https://ntrs.nasa.gov/citations/19910008253},
  note = {Source identifier: 19910008253}
}