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: First EEF Summer School on Trends in Computer Science Berg En Dal, the Netherlands, July 3-7, 2000.Revised Lectures