www.prismmodelchecker.org
[KSB+11] Heiko Koziolek, Bastian Schlich, Carlos Bilich, Roland Weiss, Steffen Becker, Klaus Krogmann, Mircea Trifu, Raffaela Mirandola and Anne Martens. An Industrial Case Study on Quality Impact Prediction for Evolving Service-Oriented Software. In Proc. 33rd ACM/IEEE International Conference on Software Engineering (ICSE'11), pages 776-785, ACM. 2011.
Links: [Google] [Google Scholar]

Publications