[ZBDL17] Xi Zheng, Matthew L. Bolton, Christopher Daly and Lu Feng. A Formal Human Reliability Analysis of a Community Pharmacy Dispensing Procedure. In Proc. Human Factors and Ergonomics Society 2017 Annual Meeting, pages 728-732. 2017. [Uses probabilistic model checking and PRISM to predict medication error rates and explore interventions in pharmacy dispensing procedures.]