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