Formal Logic Based Heart-Model - Using Event-B for Critical Device Software Systems - page 171

29. Makowiec, D. (2008). The heart pacemaker by cellular automata on complex networks. In
Proceedings of the 8th international conference on cellular automata for research and indus-
try , ACRI'08 (pp. 291-298). Berlin: Springer.
30. Malmivuo, J. (1995). Bioelectromagnetism . Oxford: Oxford University Press. ISBN 0-19-
505823-2.
31. Méry, D., & Singh, N. K. (2010). Real-time animation for formal specification. In M. Aiguier,
F. Bretaudeau, & D. Krob (Eds.), Complex systems design & management (pp. 49-60). Berlin:
Springer.
32. Méry, D., & Singh, N. K. (2010). Trustable formal specification for software certification. In
T. Margaria & B. Steffen (Eds.), Lecture notes in computer science: Vol. 6416 . Leveraging
applications of formal methods, verification, and validation (pp. 312-326). Berlin: Springer.
33. Méry, D., & Singh, N. K. (2011). Technical report on formalisation of the heart using analysis
of conduction time and velocity of the electrocardiography and cellular-automata. MOSEL-
LORIA-INRIA-CNRS: UMR7503-Université Henri Poincaré-Nancy I-Université Nancy II-
Institut National Polytechnique de Lorraine. http://hal.inria.fr/inria-00600339/en/ .
34. Méry, D., & Singh, N. K. (2012). Closed-loop modeling of cardiac pacemaker and heart. In
Foundations of health informatics engineering and systems .
35. 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.
36. Plonsey, R., & Barr, R. C. (1987). Mathematical modeling of electrical activity of the heart.
Journal of Electrocardiology , 20 (3), 219-226.
37. Seong, Y. R., Jun, K.-R., & Kim, T. G. (1994). A cellular automata model of activation process
in ventricular muscle. In SCSC'94 (pp. 769-774).
38. RODIN (2004). Rigorous open development environment for complex systems. http://
rodin-b-sharp.sourceforge.net .
39. Vangheluwe, H., & Vansteenkiste, G. C. (2000). The cellular automata formalism and its rela-
tionship to DEVS. In Proceedings of the 14th European simulation multiconference on simu-
lation and modelling: Enablers for a better quality of life (pp. 800-810). Ghent: SCS Europe.
40. von Neumann, J. (1966). Theory of self-reproducing automata . Chicago: University of Illinois
Press. A. W. Burks (Ed.).