Performance evaluation of complex systems : techniques and tools : performance 2002 tutorial lectures - Calzarossa, Maria Carla, 1958-; Tucci, Salvatore, 1946- (Lecture notes in computer science,, 2002)