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