{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:32:25Z","timestamp":1759332745246},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T00:00:00Z","timestamp":1694563200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T00:00:00Z","timestamp":1694563200000},"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":[[2023,9,13]]},"DOI":"10.1109\/fdl59689.2023.10272138","type":"proceedings-article","created":{"date-parts":[[2023,10,9]],"date-time":"2023-10-09T18:23:26Z","timestamp":1696875806000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous Models"],"prefix":"10.1109","author":[{"given":"Marcel Christian","family":"Werner","sequence":"first","affiliation":[{"name":"University of Kaiserslautern-Landau,Kaiserslautern,Germany"}]},{"given":"Klaus","family":"Schneider","sequence":"additional","affiliation":[{"name":"University of Kaiserslautern-Landau,Kaiserslautern,Germany"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/FDL50818.2020.9232944"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/FDL56239.2022.9925656"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090643"},{"volume-title":"IEC 61131\u20133:2013, \u201cProgrammable controllers \u2013 Part 3: Programming languages,\u201d DIN Deutsches Institut f\u00fcr Normung e.V.","year":"2014","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594310"},{"volume-title":"The synchronous programming language Quartz","year":"2010","author":"Schneider","key":"ref6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.1997.635021"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0058022"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-020-09487-2"},{"key":"ref10","article-title":"Nusmv 2.6 user manual","author":"Cavada","year":"2010","journal-title":"Povo (Trento) \u2013 Italy"},{"volume-title":"An analysis of the design and definitions of halsteads metrics","year":"2005","author":"Al-Qutaish","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TCE.1953.6371932"},{"volume-title":"LOGO! - L\u00f6sungen","year":"2015","author":"Tapken","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-658-16137-8"},{"volume-title":"Logo!-library \u2013 simple application examples - id: 109783504 - industry support siemens","year":"2023","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-658-06643-7"},{"key":"ref17","article-title":"L\u00f6sungen skript steuerungstechnik f\u00fcr ut","author":"Bubbers","year":"2017","journal-title":"Sindelfingen"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-8348-9210-2_4"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2015.89048"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0448-7"}],"event":{"name":"2023 Forum on Specification & Design Languages (FDL)","start":{"date-parts":[[2023,9,13]]},"location":"Turin, Italy","end":{"date-parts":[[2023,9,15]]}},"container-title":["2023 Forum on Specification & Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10272030\/10272044\/10272138.pdf?arnumber=10272138","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T04:23:25Z","timestamp":1705033405000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10272138\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,13]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/fdl59689.2023.10272138","relation":{},"subject":[],"published":{"date-parts":[[2023,9,13]]}}}