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