Verifying Concurrent Systems with Symbolic Execution. - Michael Balser; Christoph Duelli; Wolfgang Reif; Gerhard Schellhorn (J. Log. Comput., 2002)

Experiences in the Formalisation and Verification of Medical Protocols. - Mar Marcos; Michael Balser; Annette ten Teije; Frank van Harmelen; Christoph Duelli (AIME, 2003)

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)

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)

Enabling Flexible Laboratory Processes: Designing the Laboratory Information System of the Future. - Christoph Duelli; Robert Keller; Jonas Manderscheid; Andreas Manntz; Maximilian Röglinger; Marco Schmidt (Business Process Management Cases, 2018)