Formal Methods for Quantitative Aspects of Programming Languages - Aldini, Alessandro (Springer Berlin Heidelberg, 2010)