@misc{indiciaec35f928ebf3c,
  title = {A formal structure for advanced automatic flight-control systems},
  author = {Meyer, G. and Cicolani, L. S.},
  year = {1975},
  url = {https://ntrs.nasa.gov/citations/19750015534},
  note = {Source identifier: 19750015534}
}