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

6. 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.
7. Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., & Yi, W. (1996). UPPAAL—a tool suite
for automatic verification of real-time systems. In Proceedings of the DIMACS/SYCON work-
shop on hybrid systems III: Verification and control (pp. 232-243). Secaucus: Springer.
8. Berenfeld, O., & Abboud, S. (1996). Simulation of cardiac activity and the ECG using a heart
model with a reaction-diffusion action potential. Medical Engineering & Physics , 18 (8), 615-
625.
9. Bowen, J., & Stavridou, V. (1993). Safety-critical systems, formal methods and standards.
Software Engineering Journal , 8 (4), 189-209.
10. CDRH (2006). Safety of marketed medical devices. Center for Devices and Radiological
Health, US FDA.
11. Clarke, E. M., Grumberg, O., & Peled, D. (2001). Model checking . Cambridge: MIT Press.
12. Ellenbogen, K. A., & Wood, M. A. (2005). Cardiac pacing and ICDs (4th ed.). Oxford: Black-
well. ISBN 1-4051-0447-3.
13. Fitzgerald, J. (2007). The typed logic of partial functions and the Vienna development method.
In D. Bjørner & M. C. Henson (Eds.), EATCS textbook in computer science . Logics of speci-
fication languages (pp. 431-465). Berlin: Springer.
14. Fitzgerald, J., Larsen, P. G., Pierce, K., Verhoef, M., & Wolff, S. (2010). Collaborative mod-
elling and co-simulation in the development of dependable embedded systems. In Lecture
notes in computer science . Proceedings of the 8th international conference on integrated for-
mal methods (pp. 12-26). Berlin: Springer.
15. Harrild, D. M., & Henriquez, C. S. (2000). A computer model of normal conduction in the
human atria. Circulation Research , 87 , 25-36.
16. Hesselson, A. (2003). Simplified interpretations of pacemaker ECGs . Oxford: Blackwell.
ISBN 978-1-4051-0372-5.
17. High Confidence Software and Systems Coordinating Group (2009). High-confidence medi-
cal devices: Cyber-physical systems for 21st century health care (Technical report). NITRD.
http://www.nitrd.gov/About/MedDevice-FINAL1-web.pdf .
18. Jackson, D. (2002). Alloy: A lightweight object modelling notation. ACM Transactions on
Software Engineering and Methodology , 11 (2), 256-290.
19. Jee, E., Wang, S., Kim, J.-K., Lee, J., Sokolsky, O., & Lee, I. (2010). A safety-assured devel-
opment approach for real-time software. In 16th IEEE international conference on embedded
and real-time computing systems and applications , RTCSA (pp. 133-142).
20. Jetley, R. P., Carlos, C., & Purushothaman Iyer, S. (2004). A case study on applying formal
methods to medical devices: Computer-aided resuscitation algorithm. International Journal
on Software Tools for Technology Transfer , 5 (4), 320-330.
21. Jetley, R., Purushothaman Iyer, S., & Jones, P. (2006). A formal methods approach to medical
device review. Computer , 39 (4), 61-67.
22. Jiang, Z., Pajic, M., Connolly, A. T., Dixit, S., & Mangharam, R. (2010). Real-time heart
model for implantable cardiac device validation and verification. In 22st Euromicro conference
on real-time systems , IEEE ECRTS'10, July 2010.
23. Keatley, K. L. (1999). A review of the FDA draft guidance document for software validation:
Guidance for industry. Quality Assurance , 7 (1), 49-55.
24. Khan, M. G. (2008). Rapid ECG interpretation . Clifton: Humana Press.
25. Lee, I., Pappas, G. J., Cleaveland, R., Hatcliff, J., Krogh, B. H., Lee, P., et al. (2006). High-
confidence medical device software and systems. Computer , 39 (4), 33-38.
26. Leuschel, M., & Butler, M. (2003). Lecture notes in computer science . ProB: A model checker
for B (pp. 855-874). Berlin: Springer.
27. Love, C. J. (2006). Cardiac pacemakers and defibrillators . Georgetown: Landes Bioscience.
ISBN 1-57059-691-3.
28. Maisel, W. H., Sweeney, M. O., Stevenson, W. G., Ellison, K. E., & Epstein, L. M. (2001).
Recalls and safety alerts involving pacemakers and implantable cardioverter-defibrillator gen-
erators. Journal of the American Medical Association , 286 (7), 793-799.