1. Lohr, K.N., Field, M.J.: Clinical practice guidelines: directions for a new program. In: Committee to Advise the Public Health Service on Clinical Practice Guidelines, United States and Institute of Medicine. National Academy Press, Washington, D.C. (1990)
2. Ten Teije, A., Marcos, M., Balser, M., van Croonenborg, J., Duelli, C., van Harmelen, F., Lucas, P., Miksch, S., Reif, W., Rosenbrand, K., Seyfang, A.: Improving medical protocols by formal methods. Artif. Intell. Med. 36(3), 193–209 (2006)
3. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)
4. Project RODIN: Rigorous open development environment for complex systems (2004),
http://rodin-b-sharp.sourceforge.net/
5. Méry, D., Singh, N.K.: Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods. Technical report, LORIA UMR 7503 (2011),
http://hal.inria.fr/inria-00584177/en/