| 2014 | |
| [1] | A model-based approach for the specification and verification of clinical guidelines (), In Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014 (Antoni Grau, Herminio MartÃnez, eds.), IEEE, 2014. |