Lectures on formal methods and performance analysis : First EEF/euro summer school on trends in computer science. Berg en Dal, The Netherlands. 3.- 7. July 2000 - Brinksma, Ed; Hermanns, Holger; Katoen, Joost-Pieter (Springer Verlag, 2001)