Principles of Verification Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I / - Jansen, Nils. (Springer Nature Switzerland,)