Gholami, M.-R., & Boucheneb, H. (2014, October). Applying formal methods into safety-critical health applications [Paper]. 4th International Symposium on Model-Based Safety and Assessment (IMBSA 2014), Munich, Germany. External link
