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

25. Miller, D. W., Frawley, S. J., & Miller, P. L. (1999). Using semantic constraints to help verify
the completeness of a computer-based clinical guideline for childhood immunization. Com-
puter Methods and Programs in Biomedicine , 58 (3), 267-280.
26. Musen, M. A., Tu, S. W., Das, A. K., & Shahar, Y. (1995). A component-based architecture
for automation of protocol-directed therapy. In AIME (pp. 3-13).
27. Peleg, M., Tu, S., Bury, J., Ciccarese, P., Fox, J., Greenes, R. A., et al. (2003). Comparing
computer-interpretable guideline models: A case-study approach. Journal of the American
Medical Informatics Association , 10 , 52-68.
28. Pérez, B., & Porres, I. (2010). Authoring and verification of clinical guidelines: A model
driven approach. Journal of Biomedical Informatics , 43 (4), 520-536.
29. RODIN (2004). Rigorous open development environment for complex systems. http://
rodin-b-sharp.sourceforge.net .
30. Rumbaugh, J., Jacobson, I., & Booch, G. (Eds.) (1999). The unified modeling language refer-
ence manual . Essex: Addison-Wesley Longman.
31. Schmitt, J., Hoffmann, A., Balser, M., Reif, W., & Marcos, M. (2006). Interactive verifica-
tion of medical guidelines. In J. Misra, T. Nipkow, & E. Sekerinski (Eds.), Lecture notes
in computer science: Vol. 4085 . FM 2006: Formal methods (pp. 32-47). Berlin: Springer.
doi: 10.1007/11813040_3 .
32. Seyfang, A., Miksch, S., Marcos, M., Wittenberg, J., Polo-Conde, C., & Rosenbrand, K.
(2006). Bridging the gap between informal and formal guideline representations. In Proceed-
ings of the 2006 conference on ECAI 2006: 17th European conference on artificial intelli-
gence , Riva del Garda, August 29-September 1, 2006 (pp. 447-451). Amsterdam: IOS Press.
33. Shahar, Y., Miksch, S., & Johnson, P. (1998). The Asgaard project: A task-specific framework
for the application and critiquing of time-oriented clinical guidelines. In Artificial intelligence
in medicine (pp. 29-51).
34. Shiffman, R. N. (1997). Representation of clinical practice guidelines in conventional and
augmented decision tables. Journal of the American Medical Informatics Association , 4 (5),
382-393.
35. Shiffman, R. N., & Greenes, R. A. (1994). Improving clinical guidelines with logic and
decision-table techniques: Application to hepatitis immunization recommendations. Medical
Decision Making , 14 (3), 245-254.
36. Ten Teije, A., Marcos, M., Balser, M., van Croonenborg, J., Duelli, C., van Harmelen, F., et al.
(2006). Improving medical protocols by formal methods. Artificial Intelligence in Medicine ,
36 (3), 193-209.
37. van Croonenborg, J., Duelli, C., van Harmelen, F., Jovell, A., Lucas, P., Marcos, M., et al.
(2004). Protocure: Supporting the development of medical protocols through formal meth-
ods. In Lecture notes in artificial intelligence . Proceedings of the symposium of computerised
protocols and guidelines , SCPG-04, Prague. Berlin: Springer.
38. Wang, D., Peleg, M., Tu, S. W., Boxwala, A. A., Greenes, R. A., Patel, V. L., et al. (2002).
Representation primitives, process models and patient data in computer-interpretable clini-
cal practice guidelines: A literature review of guideline representation models. International
Journal of Medical Informatics , 68 (1-3), 59-70.
39. Warmer, J., & Kleppe, A. (2003). The object constraint language: Getting your models ready
for MDA (2nd ed.). Boston: Addison-Wesley Longman.