1. Abrial, J.-R. (2010). Modeling in Event-B: System and software engineering (1st ed.). New York: Cambridge University Press.
2. Artigou, J. Y., & Monsuez, J. J. (2007). Cardiologie et maladies vasculaires. Paris: Elsevier Masson.
3. Baier, C., & Katoen, J.-P. (2008). Principles of model checking (representation and mind series). Cambridge: MIT Press.
4. Barold, S. S., Stroobandt, R. X., & Sinnaeve, A. F. (2004). Cardiac pacemakers step by step. London: Futura. ISBN 1-4051-1647-1.
5. Bayes, B. V. N., de Luna, A., & Malik, M. (2006). The morphology of the electrocardiogram. In The ESC textbook of cardiovascular medicine (pp. 1–36). Oxford: Blackwell.