{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T14:12:56Z","timestamp":1760710376766,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"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":[[2020,8]]},"DOI":"10.1109\/ccta41146.2020.9206344","type":"proceedings-article","created":{"date-parts":[[2020,9,30]],"date-time":"2020-09-30T00:39:12Z","timestamp":1601426352000},"page":"892-897","source":"Crossref","is-referenced-by-count":2,"title":["Formal Verification of the Race Condition Vulnerability in Ladder Programs"],"prefix":"10.1109","author":[{"given":"Soraya","family":"Mesli-Kesraoui","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olga","family":"Goubali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Djamal","family":"Kesraoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ibtihal","family":"Eloumami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Flavio","family":"Oquendo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054172"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2011.6058983"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032042"},{"key":"ref13","first-page":"52","article-title":"Design and synthesis of synchronization skeletons using branching time temporal logic","author":"clarke","year":"1981","journal-title":"Workshop on Logic of Programs Springer"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2016.10.603"},{"key":"ref16","article-title":"Vérification formelle de chaines de controle-commande déléments de conception standardisés","author":"mesli-kesraoui","year":"2016","journal-title":"MOSIM"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.3182\/20080706-5-KR-1001.01786"},{"key":"ref4","first-page":"29","article-title":"W32. stuxnet dossier","volume":"5","author":"falliere","year":"2011","journal-title":"White Paper Symantec Corp Security Response"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2198666"},{"journal-title":"Study of race condition A privilege escalation vulnerability","year":"0","author":"farah","key":"ref6"},{"journal-title":"PLC Code Vulnerabilities Through SCADA Systems","year":"2013","author":"valentine","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2018.00033"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70542-0_7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69100-6_9"},{"key":"ref1","first-page":"61131","article-title":"3: Programming languages","author":"part","year":"1993","journal-title":"International Electrotechnical Commission Also British Standard BS EN"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3052973.3053024"}],"event":{"name":"2020 IEEE Conference on Control Technology and Applications (CCTA)","start":{"date-parts":[[2020,8,24]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2020,8,26]]}},"container-title":["2020 IEEE Conference on Control Technology and Applications (CCTA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9200884\/9206152\/09206344.pdf?arnumber=9206344","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T15:36:02Z","timestamp":1656344162000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9206344\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/ccta41146.2020.9206344","relation":{},"subject":[],"published":{"date-parts":[[2020,8]]}}}