Formal Development of a Cardiac Pacemaker: From Specification to Code - Formal Methods: Foundations and Applications - page 225

12. Hoare, T., Leavens, G.T., Misra, J., Shankar, N.: The Verified Software Initiative:
A Manifesto (2007)
13. Software Quality Research Laboratory. Pacemaker System Specification (2007),
http://sqrl.mcmaster.ca/_SQRLDocuments/PACEMAKER.pdf
14. Macedo, H.D., Larsen, P.G., Fitzgerald, J.S.: Incremental Development of a Dis-
tributed Real-Time Model of a Cardiac Pacing System Using VDM. In: Cuellar, J.,
Maibaum, T.S.E., Sere, K. (eds.) FM 2008. LNCS, vol. 5014, pp. 181-197. Springer,
Heidelberg (2008)
15. Mery, D., Singh, N.K.: Pacemaker's Functional Behaviors in Event-B. Technical
Report Version 2, Universit Henri Poincar Nancy 1 (2009)
16. Oliveira, M.V.M., Gurgel, A.C., Castro, C.G.: CRefine: Support for the Circus
Refinement Calculus. In: SEFM 2008: Proceedings of the 2008 Sixth IEEE Inter-
national Conference on Software Engineering and Formal Methods, Washington,
DC, USA, 2008, pp. 281-290. IEEE Computer Society, Los Alamitos (2008)
17. Oliveira, M., Cavalcanti, A., Woodcock, J.: Unifying Theories in ProofPower-Z.
Formal Aspects of Computing (2007)
18. Panda, P.R.: SystemC: A Modeling Platform Supporting Multiple Design Abstrac-
tions. In: ISSS 2001: Proceedings of the 14th International Symposium on Systems
Synthesis, pp. 75-80. ACM, New York (2001)
19. Plagge, D., Leuschel, M.: Validating Z Specifications using the ProB Animator and
Model Checker. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol. 4591, pp.
480-500. Springer, Heidelberg (2007)
20. Schneider, S.: Concurrent and Real Time Systems: The CSP Approach. John Wiley
& Sons, Inc., New York (1999)
21. Sherif, A.: A Framework for Specification and Validation of Real-Time Systems
using Circus Actions. PhD thesis, Center of Informatics - Federal University of
Pernambuco, Brazil (2006)
22. Stroobandt, R., Barold, A.F.S.S.: Cardiac Pacemakers Step by Step - An Illus-
trated Guide. Blackwell Publishing Ltd, Malden (2003)
23. Sun, J., Liu, Y., Dong, J.S.: Model Checking CSP Revisited: Introducing a Pro-
cess Analysis Toolkit. In: Margaria, T., Steffen, B. (eds.) ISoLA. Communications
in Computer and Information Science, vol. 17, pp. 307-322. Springer, Heidelberg
(2008)
24. Tuan, L.A., Zheng, M.C., Tho, Q.T.: Modeling and Verification of Safety Criti-
cal Systems: A Case Study on Pacemaker. In: Fourth IEEE International Confer-
ence on Secure Software Integration and Reliability Improvement. IEEE Press, Los
Alamitos (2010)
25. Woodcock, J.C.P., Davies, J.: Using Z-Specification, Refinement, and Proof.
Prentice-Hall, Englewood Cliffs (1996)