@misc{indiciae8ca2dacb955a,
  title = {A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm},
  author = {Laura Titolo and Mariano M Moscato and Cesar A Munoz and Aaron Dutle and Francois Bobot},
  year = {2018},
  url = {https://ntrs.nasa.gov/citations/20190002552},
  note = {Source identifier: 20190002552}
}