Model checking for clinical guidelines: an agent-based approach.

Model checking for clinical guidelines: an agent-based approach.