1. Cauchi, A., Gimblett, A., Thimbleby, H.W., Curzon, P., Masci, P.: Safer 5-key number entry user interfaces using differential formal analysis. In: 26th Annual BCS Interaction Specialist Group Conference on People and Computers (BCS-HCI), pp. 29–38. British Computer Society (2012)
2. Center for Devices and Radiological Health: US Food and Drug Administration. Infusion Pump Improvement Initiative, White Paper (2010)
3. Harrison, M.D., Campos, J.C., Masci, P.: Reusing models and properties in the analysis of similar interactive devices. In: Innovations in Systems and Software Engineering, pp. 1–17 (2013)
4. Harrison, M.D., Masci, P., Campos, J.C., Curzon, P.: Demonstrating that medical devices satisfy user related safety requirements. In: 4th International Symposium on Foundations of Healthcare Information Engineering and Systems (2014)
5. Institute for Safe Medication Practices (ISMP). List of error-prone abbreviations, symbols and dose designations (2006)