Beatriz Pérez Ivan Porres Authoring and verification of clinical guidelines: A model driven approach. 520-536 2010 43 Journal of Biomedical Informatics 4 http://dx.doi.org/10.1016/j.jbi.2010.02.009 db/journals/jbi/jbi43.html#PerezP10