@inproceedings{Bernardi2014A,
  title = {A model-based Approach for the Specification and Verification of Clinical Guidelines},
  author = {S. Bernardi and J. Albareda and J.M. Colom and C. Mahulea},
  year = {2014},
  booktitle = {ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation},
  doi = {10.1109/ETFA.2014.7005058},
  url = {https://dx.doi.org/10.1109/ETFA.2014.7005058},
}