www.prismmodelchecker.org
[ZBD20] Xi Zheng, Matthew L. Bolton and Christopher Daly. Extended SAFPH℞ (Systems Analysis for Formal Pharmaceutical Human Reliability): Two approaches based on extended CREAM and a comparative analysis. Safety Science, 132. 2020. [Presents an approach to predict error rates in pharmacies using probabilistic model checking and PRISM.]
Links: [Google] [Google Scholar]

Publications