[SRT16] Guoxin Su, David S. Rosenblum and Giordano Tamburrelli. Reliability of Run-Time Quality-of-Service Evaluation Using Parametric Model Checking. In Proc. IEEE/ACM 38th International Conference on Software Engineering (ICSE'16), pages 73-84. 2016. [Presents techniques for assessing quality of service using parametric probabilistic model checking, and a tool chain involving PRISM.]
Links: [Google] [Google Scholar]