Performance evaluation of complex systems : techniques and tools : performance 2002 tutorial lectures / - Calzarossa, Maria Carla,; Tucci, Salvatore, (Springer,, 2002)