ten Teije, A., M. Marcos, M. Balser, J. van Croonenborg, C. Duelli, F. van Harmelen, P. Lucas, S. Miksch, W. Reif, K. Rosenbrand, et al.,
"Improving Medical Protocols by Formal Methods",
Artificial Intelligence in Medicine, vol. 36, no. 3, pp. 193-209, 2006.
]