@misc{indiciae077b287b1cb6,
  title = {Formal Analysis of the Compact Position Reporting Algorithm},
  author = {Aaron Dutle and César Muñoz and Laura Titolo and Mariano Moscato and Gregory Anderson and François Bobot},
  url = {https://ntrs.nasa.gov/citations/20220009508},
  note = {Source identifier: 20220009508}
}