Formal methods in outer space essays dedicated to Klaus Havelund on the occasion of his 65th birthday - Bartocci, Ezio; Falcone, Yliès (Springer, 2021)