@misc{indiciae945eb7486353,
  title = {Formal Methods in the Air},
  author = {Aaron Dutle},
  url = {https://ntrs.nasa.gov/citations/20240013902},
  note = {Source identifier: 20240013902}
}