Conclusion - Using Event-B for Critical Device Software Systems - page 303

20. Méry, D., & Singh, N. K. (2011). Technical report on interpretation of the electrocardiogram
(ECG) signal using formal methods. MOSEL-LORIA-INRIA-CNRS: UMR7503-Université
Henri Poincaré-Nancy I-Université Nancy II-Institut National Polytechnique de Lorraine.
http://hal.inria.fr/inria-00584177/en/ .
21. Méry, D., & Singh, N. K. (2012). Closed-loop modeling of cardiac pacemaker and heart. In
Foundations of health informatics engineering and systems .
22. Méry, D., & Singh, N. K. (2012). Formalization of heart models based on the conduction
of electrical impulses and cellular automata. In Z. Liu & A. Wassyng (Eds.), Lecture notes
in computer science: Vol. 7151 . Foundations of health informatics engineering and systems
(pp. 140-159). Berlin: Springer.
23. Méry, D., & Singh, N. K. (2012). Medical protocol diagnosis using formal methods. In Z. Liu
& A. Wassyng (Eds.), Lecture notes in computer science: Vol. 7151 . Foundations of health
informatics engineering and systems (pp. 1-20). Berlin: Springer.
24. Méry, D., & Singh, N. K. (2013). Formal specification of medical systems by proof-based
refinement. ACM Transactions on Embedded Computing Systems , 12 (1), 15:1-15:25.
25. RODIN (2004). Rigorous open development environment for complex systems. http://
rodin-b-sharp.sourceforge.net .