Formal analysis of the compact position reporting algorithm. - Aaron Dutle; Mariano M. Moscato; Laura Titolo; César A. Muñoz; Gregory Anderson 003; François Bobot (Formal Aspects Comput., 2021)