A. ten Teije et al., “Improving Medical Protocols by Formal Methods”, Artifical Intelligence in Medicine (AIIM), vol. 36, pp. 193–209, 2006.
