Protocure: Supporting the Development of Medical Protocols through Formal Methods. - Michael Balser; Óscar Coltell; Joyce van Croonenborg; Christoph Duelli; Frank van Harmelen; Albert Jovell; Peter J. F. Lucas; Mar Marcos; Silvia Miksch; Wolfgang Reif; Kitty Rosenbrand; Andreas Seyfang; et al. (CGP, 2004)