{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T14:51:48Z","timestamp":1725720708031},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,9]]},"DOI":"10.1109\/etfa.2019.8868247","type":"proceedings-article","created":{"date-parts":[[2019,10,17]],"date-time":"2019-10-17T23:18:52Z","timestamp":1571354332000},"page":"290-297","source":"Crossref","is-referenced-by-count":2,"title":["SMT-Based Deployment Calculation in Industrial Automation Domain"],"prefix":"10.1109","author":[{"given":"Tarik","family":"Terzimehic","sequence":"first","affiliation":[]},{"given":"Monika","family":"Wenger","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Voss","sequence":"additional","affiliation":[]},{"given":"Sten","family":"Gruner","sequence":"additional","affiliation":[]},{"given":"Haitham","family":"Elfaham","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/INDIN.2008.4618110"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/EFTA.2007.4416810"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.3182\/20080706-5-KR-1001.01407"},{"year":"2008","author":"zoitl","journal-title":"Real-Time Execution for IEC 61499","key":"ref13"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1145\/2465449.2465455"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1007\/978-3-540-78800-3_24"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/TASE.2016.2523639"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/TSE.2012.64"},{"key":"ref18","article-title":"A Model-driven Software Construction Approach for Cyber-physical Systems","author":"pohlmann","year":"2018","journal-title":"Ph D Dissertation"},{"key":"ref19","article-title":"Formal definition and proofs for the mechatronicuml allocation specification language","author":"h\u00fcwe","year":"2017","journal-title":"Tech Rep tr-ri-17-353"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/MEMCOD.2015.7340482"},{"year":"2019","journal-title":"Standard","article-title":"O-PAS Standard Part 1 – Technical Architecture Overview (preliminary)","key":"ref3"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/ASE.2015.18"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/MODELS.2017.36"},{"year":"2005","journal-title":"IEC 61499-1 Function Blocks for Industrial Process Measurement and Control Systems Part I - Architecture","key":"ref8"},{"year":"2003","journal-title":"IEC 61131-3 Programmable Controllers Part 3 Programming Languages","key":"ref7"},{"year":"2016","journal-title":"62541 OPC Unified Architecture","key":"ref2"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.17560\/atp.v61i1-2.2400"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/COASE.2018.8560591"},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.1109\/MED.2007.4433652","article-title":"Using industrial standards on PLC programming learning","author":"molina","year":"2007","journal-title":"Mediterranean Conference on Control and Automation"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1145\/2593735.2593739"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/ICSMC.2000.884356"},{"key":"ref24","article-title":"Automatic deployment of IEC 61499 function blocks","author":"frieben","year":"2012","journal-title":"CAN Newsletter"},{"key":"ref23","article-title":"A scalable approach for reconfiguring evolving industrial control systems","author":"sinha","year":"2014","journal-title":"IEEE Int Conf on Emerging Technologies and Factory Automation"}],"event":{"name":"2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2019,9,10]]},"location":"Zaragoza, Spain","end":{"date-parts":[[2019,9,13]]}},"container-title":["2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8851311\/8868236\/08868247.pdf?arnumber=8868247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T14:44:03Z","timestamp":1658155443000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8868247\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/etfa.2019.8868247","relation":{},"subject":[],"published":{"date-parts":[[2019,9]]}}}