www.prismmodelchecker.org
[MST11a] Tamara Mendt, Carsten Sinz and Olga Tveretina. Probabilistic Model Checking of Constraints in a Supply Chain Business Process. In Business Information Systems, volume 87 of Lecture Notes in Business Information Processing, pages 1-12. 2011.
Links: [Google] [Google Scholar]

Publications