www.prismmodelchecker.org
[KSBH12] Heiko Koziolek, Bastian Schlich, Steffen Becker and Michael Hauck. Performance and reliability prediction for evolving service-oriented software systems. Empirical Software Engineering. To appear. 2012.
Links: [Google] [Google Scholar]

Publications