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 - Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen ((Lecture Notes in Computer Science))