A model-based approach for the specification and verification of clinical guidelines | Publicación