@misc{indiciaecd465c1267d3,
  title = {Formal Verification of a Conflict Resolution and Recovery Algorithm},
  author = {Maddalon, Jeffrey and Butler, Ricky and Geser, Alfons and Munoz, Cesar},
  year = {2004},
  url = {https://ntrs.nasa.gov/citations/20040065775},
  note = {Source identifier: 20040065775}
}