Computer performance evaluation : modelling techniques and tools - Marie, Raymond; Plateu, Brigitte; Calzarossa, Maria; Rubino, Gerardo, 1955- (Lecture notes in computer science ;, 1997)