Principles of Verification : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III - Jansen, Nils. (Springer, 2024)