{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T21:10:04Z","timestamp":1747429804685,"version":"3.40.5"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1109\/etfa.2014.7005126","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":12,"title":["A scalable approach for re-configuring evolving industrial control systems"],"prefix":"10.1109","author":[{"given":"Roopak","family":"Sinha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenneth","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Calinescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/2406336.2406353","article-title":"Formal verification of down-timeless system evolution in embedded automation controllers","volume":"12","author":"s\u00fcnder","year":"2013","journal-title":"TECS"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2007.4384940"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/11591962_4","article-title":"Modular verification of reconfigurable components","author":"te\u0161anovi?","year":"2005","journal-title":"Component-Based Software Development for Embedded Systems"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034948"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2005.1560353"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2008.4577710"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2602576.2602578"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2465449.2465456"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/978-3-642-34059-8_16","article-title":"Compositional reverification of probabilistic safety properties for large-scale complex it systems","volume":"7539","author":"calinescu","year":"2012","journal-title":"Large-Scale Complex IT Systems Development Operation and Management"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2166785"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-5261-8_20"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2010.2046322"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4935-4_1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2222034"},{"article-title":"A reconfigurable concurrent function block model and its implementation in real-time java","year":"2002","author":"xu","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2011.6059117"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.2007216"},{"journal-title":"IEC 61499 Function Blocks For Embedded and Distributed Control Systems Design","year":"2007","author":"vyatkin","key":"ref1"},{"article-title":"Evaluation of downtimeless system evolution in automation and control systems","year":"2008","author":"s\u00fcnder","key":"ref9"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1093\/oso\/9780198537359.003.0003","article-title":"Universal algebra","volume":"1","author":"meinke","year":"1992","journal-title":"Handbook of Logic in Computer Science"},{"key":"ref22","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"TACAS"},{"article-title":"A concise introduction to mathematical logic","year":"2006","author":"rautenberg","key":"ref21"}],"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\/07005126.pdf?arnumber=7005126","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T20:48:29Z","timestamp":1747428509000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7005126\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/etfa.2014.7005126","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]}}}