%0 Conference Paper %B Workshop on Models and Methods for Hospital Management and Planning, at 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014) %D 2014 %T A model-based approach for the specification and verification of clinical guidelines %A S. Bernardi %A J. Albareda %A J.M. Colom %A Mahulea, Cristian %C September 16, 2014, Barcelona, Spain %8 09/2014