Christoph Duelli

Experiences in the Formalisation and Verification of Medical Protocols

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

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

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

Improving medical protocols by formal methods

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

Verifying Concurrent Systems with Symbolic Execution

Wolfgang Reif, Michael Balser, Gerhard Schellhorn, 2002, J. Log. Comput..

Protocure: Supporting the Development of Medical Protocols through Formal Methods

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