{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:15:35Z","timestamp":1725596135841},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,5,10]],"date-time":"2021-05-10T00:00:00Z","timestamp":1620604800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,5,10]],"date-time":"2021-05-10T00:00:00Z","timestamp":1620604800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,5,10]],"date-time":"2021-05-10T00:00:00Z","timestamp":1620604800000},"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":[[2021,5,10]]},"DOI":"10.1109\/icps49255.2021.9468194","type":"proceedings-article","created":{"date-parts":[[2021,7,5]],"date-time":"2021-07-05T16:39:55Z","timestamp":1625503195000},"page":"172-178","source":"Crossref","is-referenced-by-count":1,"title":["SMT-Based Deployment Calculation for IEC 61499 Control Applications"],"prefix":"10.1109","author":[{"given":"Tuojian","family":"Lyu","sequence":"first","affiliation":[]},{"given":"Jan Olaf","family":"Blech","sequence":"additional","affiliation":[]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2018.8502567"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2019.101919"},{"key":"ref12","first-page":"337","article-title":"Z3: An efficient smt solver","author":"de m","year":"0","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2008.4618110"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.64"},{"journal-title":"Pareto-efficient deployment synthesis for safety-critical applications in seamless model-based development","year":"2016","author":"zverlov","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2017.36"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2906363.2906367"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2005.11"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2008.09.005"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-020-03268-0"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s12652-018-0687-5"},{"key":"ref27","first-page":"290","article-title":"Smt-based deployment calculation in industrial automation domain","author":"terzimehi?","year":"0","journal-title":"2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)"},{"key":"ref3","first-page":"180","article-title":"Optimization and reconfiguration of iec 61499-based software architectures","author":"terzirnehi?","year":"0","journal-title":"Proceedings of the 21st ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings"},{"year":"2015","author":"vyatkin","key":"ref6"},{"year":"2012","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA46521.2020.9211901"},{"journal-title":"Workshop on Satisfiability Modulo Theories","year":"0","author":"barrett","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.techfore.2019.119790"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSA.2018.00016"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1080\/21693277.2019.1602486"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2015.08.004"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MIE.2019.2962225"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.09.016"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2018.03.002"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2014.7048859"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2018.8560591"},{"key":"ref25","first-page":"1","article-title":"A scalable approach for reconfiguring evolving industrial control systems","author":"sinha","year":"0","journal-title":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)"}],"event":{"name":"2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS)","start":{"date-parts":[[2021,5,10]]},"location":"Victoria, BC, Canada","end":{"date-parts":[[2021,5,12]]}},"container-title":["2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9467798\/9468113\/09468194.pdf?arnumber=9468194","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T11:46:06Z","timestamp":1652183166000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9468194\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,10]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/icps49255.2021.9468194","relation":{},"subject":[],"published":{"date-parts":[[2021,5,10]]}}}