{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:28:29Z","timestamp":1729618109680,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1109\/etfa.2014.7005124","type":"proceedings-article","created":{"date-parts":[[2015,1,13]],"date-time":"2015-01-13T16:34:59Z","timestamp":1421166899000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["WYPIWYE automation systems — An intelligent manufacturing system case study"],"prefix":"10.1109","author":[{"given":"HeeJong","family":"Park","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Avinash","family":"Malik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Salcic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022295414523"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2008.2005785"},{"key":"ref12","first-page":"879","article-title":"Towards Formal Verification of IEC61499: modelling of Data and Algorithms in NCES","author":"cheng","year":"2007","journal-title":"Industrial Informatics 2007 5th IEEE International Conference on"},{"year":"1999","key":"ref13","article-title":"IEC 65\/240\/CD, Function blocks for industrial-process measurement and control systems-Part 1: Architecture"},{"year":"2000","key":"ref14","article-title":"IEC 61499-2 (2nd Committe Draft, Ed. 1.0), Function blocks for industrial-process measurement and control systems-Part 2: Engineering Task Support"},{"key":"ref15","first-page":"55","article-title":"Basic Concepts of IEC 61499","author":"christensen","year":"2000","journal-title":"Proceedings of Fachtagung Verteilte Automatisierung"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2010.2042275"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"1465","DOI":"10.1109\/TSMCC.2012.2191404","article-title":"Synthesizing Globally Asynchronous Locally Synchronous Systems With IEC 61499","volume":"42","author":"li hsien","year":"2012","journal-title":"Systems Man and Cybernetics Part C Applications and Reviews IEEE Transactions on"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"1599","DOI":"10.1109\/TC.2009.128","article-title":"A Synchronous Approach for IEC 61499 Function Block Implementation","volume":"58","author":"li hsien","year":"2009","journal-title":"Computers IEEE Transactions on"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2010.01.001"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641239"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884356"},{"key":"ref6","first-page":"21","article-title":"A synchronous model of the PLC programming language ST","author":"jim\u00e9nez-fraustro","year":"0","journal-title":"Proceedings of the Work In Progress session 11th Euromicro Conference on Real-Time Systems ECRTS 1999"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884360"},{"key":"ref8","article-title":"Real Time Programming: Special Purpose or General Purpose Languages","author":"berry","year":"1989","journal-title":"IFIP Congress"},{"key":"ref7","first-page":"65","article-title":"Validation of a SFC software specification by using hybrid automata","author":"hassapis","year":"1998","journal-title":"INCOM"},{"key":"ref2","first-page":"758","article-title":"Validation and verification of grafcets using state machine","author":"roussel","year":"0","journal-title":"Proceedings of IMACS-IEEE “CESA'96”"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2006.275709"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2011.115"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02880-3_12"},{"article-title":"Safety-Critical Java Technology Specification, Public draft","year":"2013","author":"locke","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"journal-title":"SPIN Model Checker The Primer and Reference Manual","year":"2003","author":"holzmann","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.05.011"}],"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\/07005124.pdf?arnumber=7005124","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T23:35:44Z","timestamp":1498174544000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7005124\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/etfa.2014.7005124","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]}}}