Krstić. Quantitative Properties of Software Systems: Specification, Verification, and Synthesis. ACM Press, 2014, doi:10.1145/2591062.2591093.