1. Arney, D., Jetley, R., Jones, P., Lee, I., Sokolsky, O.: Formal methods based development of a PCA infusion pump reference model: generic infusion pump (GIP) project. In: Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, 2007. HCMDSS-MDPnP, pp. 23–33. IEEE (2007)
2. Barbosa, P.E., et al.: Towards medical device behavioural validation using petri nets. In: 2013 IEEE 26th International Symposium on Computer-Based Medical Systems (CBMS), pp. 4–10. IEEE (2013)
3. Boudi, Z., Collart-Dutilleul, S., Khaddour, M., et al.: High level Petri Net modeling for railway safety critical scenarios. In: 10th FORMS-FORMAT symposium, Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. p65–75 (2014)
4. Bowen, J.A.: Formal specification of user interface design guidelines. Ph.D. thesis, Citeseer (2005)
5. Bowen, J., Reeves, S.: Using formal models to design user interfaces: a case study. In: Proceedings of the 21st British HCI Group Annual Conference on People and Computers: HCI...but not as we know it-Volume 1, pp. 159–166. British Computer Society (2007)