{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:43:03Z","timestamp":1740102183824,"version":"3.37.3"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,19]],"date-time":"2023-06-19T00:00:00Z","timestamp":1687132800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,19]],"date-time":"2023-06-19T00:00:00Z","timestamp":1687132800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6,19]]},"DOI":"10.1109\/isie51358.2023.10228148","type":"proceedings-article","created":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T17:30:24Z","timestamp":1693503024000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Formal verification of observers supervising a cyber-physical system implemented using IEC 61499"],"prefix":"10.1109","author":[{"given":"Polina","family":"Ovsiannikova","sequence":"first","affiliation":[{"name":"Aalto University,Department of Electrical Engineering and Automation,Espoo,Finland"}]},{"given":"Etienne Le","family":"Priol","sequence":"additional","affiliation":[{"name":"École Normale Supérieure Paris-Saclay,Department of Mechanical Engineering,Gif-sur-Yvette,France"}]},{"given":"Vincent","family":"Perret","sequence":"additional","affiliation":[{"name":"École Normale Supérieure Paris-Saclay,Department of Mechanical Engineering,Gif-sur-Yvette,France"}]},{"given":"Pranay","family":"Jhunjhunwala","sequence":"additional","affiliation":[{"name":"Aalto University,Department of Electrical Engineering and Automation,Espoo,Finland"}]},{"given":"Midhun","family":"Xavier","sequence":"additional","affiliation":[{"name":"Luleå Tekniska Universitet,Computer and Space Engineering,Department of Computer Science,Sweden"}]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[{"name":"Aalto University,Department of Electrical Engineering and Automation,Espoo,Finland"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034948"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10521-5_6"},{"year":"2020","key":"ref23","article-title":"Jetbrains\/fbme"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2017.8216953"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2016.7819147"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2015.7301447"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2010.2042275"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA52439.2022.9921506"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2016.7733636"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA46521.2020.9212177"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-17108-6_22"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-51100-9_4"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3302509.3313323"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICPS48405.2020.9274713"},{"article-title":"IEC 61131-3: Programming industrial automation systems","year":"1995","author":"tiegelkamp","key":"ref8"},{"year":"2021","key":"ref7","article-title":"FB2SMV: IEC 61499 function blocks xml code to smv converter"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN45523.2021.9557416"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE51582.2022.9831470"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(03)58003-2"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","article-title":"NuSMV 2: An OpenSource tool for symbolic model checking","author":"cimatti","year":"2002","journal-title":"International Conference on Computer Aided Verification (CAV)"},{"article-title":"Model checking","year":"1999","author":"clarke","key":"ref5"}],"event":{"name":"2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE)","start":{"date-parts":[[2023,6,19]]},"location":"Helsinki, Finland","end":{"date-parts":[[2023,6,21]]}},"container-title":["2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10227852\/10227910\/10228148.pdf?arnumber=10228148","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,25]],"date-time":"2023-09-25T17:54:01Z","timestamp":1695664441000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10228148\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,19]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/isie51358.2023.10228148","relation":{},"subject":[],"published":{"date-parts":[[2023,6,19]]}}}