Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures - Brinksma, Ed; Brinksma, Ed; Hermanns, Holger; Hermanns, Holger; Katoen, Joost-Pieter; Katoen, Joost-Pieter (Springer Berlin Heidelberg : Imprint: Springer, 2001)