Fundamental Approaches to Software Engineering
Vittorio Cortellessa
Model-Based Software Performance Analysis
