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)

Design Patterns for Modelling Guidelines. - Radu Serban; Annette ten Teije; Mar Marcos; Cristina Polo-Conde; Kitty Rosenbrand; Jolanda Wittenberg; Joyce van Croonenborg (AIME, 2005)

Improving medical protocols by formal methods. - 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 (Artif. Intell. Medicine, 2006)

Guideline Development. - Kitty Rosenbrand; Joyce van Croonenborg; Jolanda Wittenberg (Computer-based Medical Guidelines and Protocols, 2008)