Formalisation of Electrocardiogram (ECG) - Using Event-B for Critical Device Software Systems - page 295

5. Bäumler, S., Balser, M., Dunets, A., Reif, W., & Schmitt, J. (2006). Verification of med-
ical guidelines by model checking—a case study. In A. Valmari (Ed.), Lecture notes in
computer science: Vol. 3925 . Model checking software (pp. 219-233). Berlin: Springer. doi:
10.1007/11691617_13 .
6. Bottrighi, A., Giordano, L., Molino, G., Montani, S., Terenziani, P., & Torchio, M. (2010).
Adopting model checking techniques for clinical guidelines verification. Artificial Intelligence
in Medicine , 48 , 1-19.
7. Cansell, D., & Méry, D. (2008). The Event-B modelling method: Concepts and case studies.
In D. Bjørner & M. C. Henson (Eds.), Monographs in theoretical computer science . Logics of
specification languages (pp. 47-152). Berlin: Springer.
8. Clarke, E. M., Grumberg, O., & Peled, D. (2001). Model checking . Cambridge: MIT Press.
9. Ellenbogen, K. A., & Wood, M. A. (2005). Cardiac pacing and ICDs (4th ed.). Oxford: Black-
well. ISBN 1-4051-0447-3.
10. Epstein, A. E., DiMarco, J. P., Ellenbogen, K. A., Estes, N. A. M., III, Freedman, R. A.,
Gettes, L. S., et al. (2008). ACC/AHA/HRS 2008 guidelines for device-based therapy of car-
diac rhythm abnormalities: A report of the American College of Cardiology/American Heart
Association task force on practice guidelines (writing committee to revise the ACC/AHA/
NASPE 2002 guideline update for implantation of cardiac pacemakers and antiarrhythmia de-
vices) developed in collaboration with the American Association for Thoracic Surgery and
Society of Thoracic Surgeons. Journal of the American College of Cardiology , 51 (21), e1-
e62.
11. Field, M. J., & Lohr, K. N. (1990) Clinical practice guidelines: Directions for a new program .
Washington: National Academy Press.
12. Fox, J., Johns, N., & Rahmanzadeh, A. (1998). Disseminating medical knowledge: The pro-
forma approach. Artificial Intelligence in Medicine , 14 (1-2), 157-182.
13. Hesselson, A. (2003). Simplified interpretations of pacemaker ECGs . Oxford: Blackwell.
ISBN 978-1-4051-0372-5.
14. Holzmann, G. J. (1997). The model checker SPIN. IEEE Transactions on Software Engineer-
ing , 23 , 279-295.
15. Isern, D., & Moreno, A. (2008). Computer-based execution of clinical guidelines: A review.
International Journal of Medical Informatics , 77 (12), 787-808.
16. Khan, M. G. (2008). Rapid ECG interpretation . Clifton: Humana Press.
17. Kosara, R., Miksch, S., Seyfang, A., & Votruba, P. (2002). Tools for acquiring clinical guide-
lines in Asbru .
18. Love, C. J. (2006). Cardiac pacemakers and defibrillators . Georgetown: Landes Bioscience.
ISBN 1-57059-691-3.
19. Malmivuo, J. (1995). Bioelectromagnetism . Oxford: Oxford University Press. ISBN 0-19-
505823-2.
20. Marcos, M., Berger, G., van Harmelen, F., ten Teije, A., Roomans, H., & Miksch, S. (2001).
Using critiquing for improving medical protocols: Harder than it seems. In Proceedings of
the 8th conference on AI in medicine in Europe: Artificial intelligence medicine , AIME'01
(pp. 431-441). London: Springer.
21. 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/ .
22. 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.
23. Miksch, S., Hunter, J., & Keravnou, E. T. (Eds.) (2005). In Lecture notes in computer science:
Vol. 3581 . Proceedings, 10th conference on artificial intelligence in medicine , AIME'05, Ab-
erdeen (pp. 23-27). Berlin: Springer.
24. Miller, P. L. (1985). A critiquing approach to expert computer advice: Attending . Marshfield:
Pitman.