{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:50:02Z","timestamp":1730220602521,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1109\/etfa.2014.7005058","type":"proceedings-article","created":{"date-parts":[[2015,1,13]],"date-time":"2015-01-13T21:34:59Z","timestamp":1421184899000},"page":"1-8","source":"Crossref","is-referenced-by-count":6,"title":["A model-based approach for the specification and verification of clinical guidelines"],"prefix":"10.1109","author":[{"given":"Simona","family":"Bernardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jose-Manuel","family":"Colom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Albareda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian","family":"Mahulea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1057\/palgrave.jors.2600669"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1177\/146642409511500611"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/974044.974048"},{"key":"ref13","article-title":"Implementation of a healthcare process in four different workflow systems","author":"mans","year":"2009","journal-title":"Technische Universiteit Eindhoven Tech Rep"},{"journal-title":"Object Management Group","article-title":"Business Process Model and Notation","year":"2011","key":"ref14"},{"journal-title":"Object Management Group 2011 Document formal\/11–06–02","article-title":"A UML profile for Modeling and Analysis of Real Time Embedded Systems (MARTE)","year":"0","key":"ref15"},{"journal-title":"Object Management Group","article-title":"OMG. Unified Modelling Language: Superstructure","year":"2011","key":"ref16"},{"journal-title":"OMG Unified Modelling Language Superstructure","article-title":"Object Management Group","year":"2011","key":"ref17"},{"journal-title":"The process mining group-Eindhoven Technical University","year":"2010","key":"ref18"},{"journal-title":"White Paper","year":"2008","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1057\/jos200910"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jbi.2004.04.002"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1093\/pubmed\/fdg075"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1057\/jors.1985.125"},{"journal-title":"University of Torino","year":"2002","key":"ref8"},{"key":"ref7","first-page":"45","article-title":"The impact of feedback control concepts on the Management Sciences","author":"forrester","year":"1960","journal-title":"Collected Papers I"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1136\/jamia.2000.0070488"},{"key":"ref1","article-title":"Special issue on system dynamics for policy, strategy and management education","volume":"50","year":"1999","journal-title":"Journal of the Operational Research Society"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2001.977275"}],"event":{"name":"2014 IEEE Emerging Technology and Factory Automation (ETFA)","start":{"date-parts":[[2014,9,16]]},"location":"Barcelona, Spain","end":{"date-parts":[[2014,9,19]]}},"container-title":["Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6994138\/7005023\/07005058.pdf?arnumber=7005058","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T06:27:05Z","timestamp":1490336825000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7005058\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/etfa.2014.7005058","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]}}}