1. Advani, A., & Musen, Y. (2002). Medical quality assessment by scoring adherence to guideline intentions. Journal of the American Medical Informatics Association, 9, 92–97.
2. Advani, A., Lo, K., & Shahar, Y. (1998). Intention-based critiquing of guideline-oriented medical care. In Proceedings of the 1998 AMIA annual symposium (pp. 483–487).
3. Boxwala, A. A., Peleg, M., Tu, S., Ogunyemi, O., Zeng, Q. T., Wang, D., et al. (2004). GLIF3: A representation format for sharable computer-interpretable clinical practice guidelines. Journal of Biomedical Informatics, 37(3), 147–161.
4. Chesani, F., Lamma, E., Mello, P., Montali, M., Storari, S., Baldazzi, P., et al. (2008). Compliance checking of cancer-screening CareFlows: An approach based on computational logic. In A. Ten Teije, et al. (Eds.), Computer-based medical guidelines and protocols: A primer and current trends: A primer and current trends (p. 183). Fairfax: IOS.
5. Clarke, E., Grumberg, O., & Peled, D. (1999). Model checking. Cambridge: MIT.