Formal Methods in Outer Space - Ezio Bartocci, Yliès Falcone, Martin Leucker (Springer, 2021)