Model-Based Software Performance Analysis - Cortellessa, Vittorio; Di Marco, Antinisca; Inverardi, Paola (Springer Berlin Heidelberg, 2011)