Improving medical protocols by formal methods - ten Teije, A; Marcos, M; Balser, M; van Croonenborg, J; Duelli, C; van Harmelen, F (Artif Intell Med, 2006)