C. Duelli

Improving medical protocols by formal methods

Frank van Harmelen, Silvia Miksch, Annette ten Teije, 2006, Artif. Intell. Medicine.

Experiences in the Formalisation and Verification of Medical Protocols

Frank van Harmelen, Annette ten Teije, Mar Marcos, 2003, AIME.

Protocure: Supporting the Development of Medical Protocols through Formal Methods

Frank van Harmelen, Silvia Miksch, Annette ten Teije, 2004, CGP.

Enabling Flexible Laboratory Processes: Designing the Laboratory Information System of the Future

Maximilian Röglinger, Robert Keller, Jonas Manderscheid, 2018, Business Process Management Cases.