www.prismmodelchecker.org
[OGLS12] Frank Ortmeier, Matthias Gudemann, Michael Lipaczewski and Simon Struck. Unifying Probabilistic and Traditional Formal Model Based Analysis. In Proc. MBEES. 2012.
Links: [Google] [Google Scholar]

Publications