www.prismmodelchecker.org
[CGKMT11] Radu Calinescu, Lars Grunske, Marta Kwiatkowska, Raffaela Mirandola and Giordano Tamburrelli. Dynamic QoS Management and Optimisation in Service-Based Systems. IEEE Transactions on Software Engineering, 37(3), pages 387-409. May 2011. [bib] [Presents a framework for developing adaptive service-based systems, using PRISM to compute QoS properties.]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications