Formal Methods for Real-Time and Probabilistic Systems door J.P. Katoen