1. ten Teije, A., Marcos, M., Balser, M., van Croonenborgd, J., Duellic, C., van Harmelena, F., Lucas, P., Miksch, S., Reif, W., Rosenbrand, K., Seyfang, A.: Improving medical protocols by formal methods. Artificial Intelligence in Medicine 63(3), 193–209 (2006)
2. Hommersom, A., Groot, P., Lucas, P., Balser, M., Schmitt, J.: Verification of medical guidelines using background knowledge in task networks. IEEE Transactions on Knowledge and Data Engineering 19(6), 832–846 (2007)
3. Bottrighi, A., Giordano, L., Molino, G., Montani, S., Terenziani, P., Torchio, M.: Adopting model checking techniques for clinical guidelines verification. Artificial Intelligence in Medicine 48(1), 1–19 (2010)
4. Quaglini, S.: Compliance with clinical practice guidelines. In: Teije, A.T., Miksch, S., Lucas, P. (eds.) Computer-Based Medical Guidelines and Protocols: A Primer and Current Trends. Studies in Health Technology and Informatics, vol. 139, pp. 160–179. IOS Press (2008)
5. Field, M., Lohr, K. (eds.): Clinical Practice Guidelines: Directions for a New Program. National Academy Press, Institute of Medicine, Washington, D.C (1990)