{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T12:15:58Z","timestamp":1762431358134,"version":"3.37.3"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Ind. Inf."],"published-print":{"date-parts":[[2018,1]]},"DOI":"10.1109\/tii.2017.2724206","type":"journal-article","created":{"date-parts":[[2017,7,7]],"date-time":"2017-07-07T18:35:10Z","timestamp":1499452510000},"page":"380-389","source":"Crossref","is-referenced-by-count":11,"title":["Emulation of Cyber-Physical Systems Using IEC-61499"],"prefix":"10.1109","volume":"14","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7524-8292","authenticated-orcid":false,"given":"Avinash","family":"Malik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Partha S","family":"Roop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nathan","family":"Allen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Theo","family":"Steger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1007\/0-8176-4404-0_21"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.7717\/peerj-cs.103"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1007\/978-3-319-10521-5"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1145\/1347375.1347389"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1098\/rsta.2010.0084"},{"key":"ref36","first-page":"323","article-title":"Modeling and verifying hybrid dynamic\n systems using checkmate","author":"silva","year":"2000","journal-title":"Proc Conf Autom Mixed Processes Hybrid Dyn Syst"},{"key":"ref35","article-title":"A unified framework for modeling and implementation of hybrid systems with synchronous\n controllers","volume":"abs 1501 5936","author":"malik","year":"2015","journal-title":"CoRR"},{"year":"2015","author":"alur","journal-title":"Principles of Cyber-Physical Systems","key":"ref34"},{"key":"ref10","first-page":"645","article-title":"Real-time coupling of the 3D workcell\n simulation system COSIMIR","author":"freund","year":"2002","journal-title":"Proc 1st IEEE Int Conf Inf Technol Appl"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1016\/S0890-5401(03)00067-1"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/JPROC.2002.805826"},{"year":"2017","article-title":"SCADE tools and benchmarks.","key":"ref13"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/ICSMC.2000.884356"},{"key":"ref15","first-page":"234","article-title":"Formalization of existing plc programs: A survey","author":"younis","year":"2003","journal-title":"Proc CESA"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.4236\/jsea.2015.89048"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/ICSMC.1998.725375"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/CDC.2005.1583409"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1016\/S1474-6670(17)40537-4"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1145\/2248418.2248437"},{"key":"ref4","first-page":"268","article-title":"Simulation based control program verification in an automobile\n industry","author":"park","year":"2008","journal-title":"Proc Int Conf Model Identif Control Innsbruck Austria"},{"year":"2016","article-title":"Appendices.","key":"ref27"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/TIE.2011.2167891"},{"year":"2007","author":"vyatkin","journal-title":"IEC 61499 Function Blocks For Embedded and Distributed Control Systems Design","key":"ref6"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1007\/3-540-57318-6_30"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1049\/PBCE050E"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/978-1-4615-4493-7_24"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/TC.2009.128"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/APSEC.2008.26"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/TII.2011.2182653"},{"year":"2015","author":"alur","journal-title":"Principles of Cyber-Physical Systems","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1007\/978-3-642-59615-5_13"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/EMSOFT.2013.6658580"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.3384\/ecp15118159"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1145\/2851613.2851677"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.3384\/ecp14096183"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1109\/TII.2015.2496262"},{"year":"2013","author":"brennon","article-title":"Hybrid systems","key":"ref25"}],"container-title":["IEEE Transactions on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9424\/8246762\/07971940.pdf?arnumber=7971940","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:25:01Z","timestamp":1642004701000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7971940\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1]]},"references-count":37,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tii.2017.2724206","relation":{},"ISSN":["1551-3203","1941-0050"],"issn-type":[{"type":"print","value":"1551-3203"},{"type":"electronic","value":"1941-0050"}],"subject":[],"published":{"date-parts":[[2018,1]]}}}