@misc{indiciaeedc15886e358,
  title = {Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools},
  author = {Saito, Jim},
  year = {1987},
  url = {https://ntrs.nasa.gov/citations/19880003112},
  note = {Source identifier: 19880003112}
}