@inproceedings {1515,
	title = {A model-based approach for the specification and verification of clinical guidelines},
	booktitle = {Workshop on Models and Methods for Hospital Management and Planning, at 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA{\textquoteright}2014)},
	year = {2014},
	month = {09/2014},
	address = {September 16, 2014, Barcelona, Spain},
	author = {S. Bernardi and J. Albareda and J.M. Colom and Mahulea, Cristian}
}

