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