Lectures On Formal Methods And Performance Analysis door J.P. Katoen & Ed Brinksma