1. Quaglini, S., Stefanelli, M., Lanzola, G., Caporusso, V., Panzarasa, S.: Flexible guideline-based patient careflow systems. Journal AIME 22, 65–80 (2001)
2. Advani, A., Shahar, Y., Musen, M.A.: Medical Quality Assessment by Scoring Adherence to Guideline Intentions. In: AMIA 2001 (2001)
3. Groot, P., Hommersom, A., Lucas, P.J.F., Robbert-Jan, M., ten Teije, A., Harmelen, F.V.: Using model checking for critiquing based on clinical guidelines. Journal AIME 46, 19–36 (2009)
4. Lecture Notes in Computer Science;A. Bottrighi,2009
5. Grando, M.A., Schonenberg, M.H., van der Aalst, W.: Semantic Process Mining for the verification of medical recommendations. In: Int. Conf. of Health Informatics 2011, Rome, pp. 5–16 (2011)