Jonathan Schmitt Alwin Hoffmann Michael Balser Wolfgang Reif Mar Marcos Interactive Verification of Medical Guidelines. 32-47 2006 conf/fm/2006 FM http://dx.doi.org/10.1007/11813040_3 db/conf/fm/fm2006.html#SchmittHBRM06