Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday - Bartocci, Ezio; Falcone, Yliès; Leucker, Martin (Springer, 2021)