Annette ten Teije Mar Marcos Michael Balser Joyce van Croonenborg Christoph Duelli Frank van Harmelen Peter J. F. Lucas Silvia Miksch Wolfgang Reif Kitty Rosenbrand Andreas Seyfang Improving medical protocols by formal methods. 193-209 2006 36 Artificial Intelligence in Medicine 3 http://dx.doi.org/10.1016/j.artmed.2005.10.006 db/journals/artmed/artmed36.html#TeijeMBCDHLMRRS06