@misc{indiciae421c2ace0dd5,
  title = {Formal Specification and Parametric Verification of the ICAROUS Distributed Merging Protocol for Autonomous Aircraft Systems},
  author = {William Schultz and Swee Balachandran},
  url = {https://ntrs.nasa.gov/citations/20210020643},
  note = {Source identifier: 20210020643}
}