www.prismmodelchecker.org
[ZBDB20] Xi Zheng Matthew L. Bolton, Christopher Daly and Elliot Biltekoff. The development of a next-generation human reliability analysis: Systems analysis for formal pharmaceutical human reliability (SAFPH℞). Reliability Engineering & System Safet7, 202. 2020. [Uses probabilistic model checking and PRISM to predict medication error rates and explore interventions in pharmacy dispensing procedures. ]
Links: [Google] [Google Scholar]

Publications