{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:52:18Z","timestamp":1729673538039,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,9,15]],"date-time":"2020-09-15T00:00:00Z","timestamp":1600128000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,9,15]],"date-time":"2020-09-15T00:00:00Z","timestamp":1600128000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,9,15]],"date-time":"2020-09-15T00:00:00Z","timestamp":1600128000000},"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,9,15]]},"DOI":"10.1109\/fdl50818.2020.9232943","type":"proceedings-article","created":{"date-parts":[[2020,11,2]],"date-time":"2020-11-02T22:17:53Z","timestamp":1604355473000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts"],"prefix":"10.1109","author":[{"given":"Andreas","family":"Boysen","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Schulz-Rosengarten","sequence":"additional","affiliation":[]},{"given":"Reinhard","family":"von Hanxleden","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"ref11","first-page":"1322","article-title":"An open-loop stepper motor driver based on FPGA","author":"le","year":"0","journal-title":"2007 International Conference on Control Automation and Systems"},{"key":"ref12","article-title":"The GENCOD project: Automated generation of Hardware code for safety critical applications on FPGA targets","author":"pampagnin","year":"2010","journal-title":"Embedded Real Time Software and Systems ERTS 2010"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2008.4641442"},{"key":"ref14","first-page":"1","article-title":"Time in SCCharts","author":"von hanxleden","year":"2020","journal-title":"Languages Design Methods and Tools for Electronic System Design Selected Contributions from FDL 2018"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3281278.3281283"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03418-4_15"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2017.8303893"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594310"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2010.5681433"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461348"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"425","DOI":"10.7551\/mitpress\/5641.003.0021","article-title":"The foundations of Esterel","author":"berry","year":"2000","journal-title":"Proof Language and Interaction Essays in Honour of Robin Milner"},{"key":"ref6","article-title":"An FPGA-based Demonstrator for Dynamic Ticks","author":"schulz-rosengarten","year":"0","journal-title":"Technical Report"},{"key":"ref5","article-title":"Delays in Esterel","author":"bourke","year":"2009","journal-title":"SYNCHRON'09-Proceedings of Dagstuhl Seminar 09481 number 09481 in Dagstuhl Seminar Proceedings Internationales Begegnungs-und Forschungszentrum (IBFI)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0020947"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.8285623"},{"key":"ref2","first-page":"64","article-title":"The Synchronous Languages Twelve Years Later","volume":"91","author":"albert","year":"2003","journal-title":"Proceedings of the IEEE Special Issue on Embedded Systems"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2997465.2997467"}],"event":{"name":"2020 Forum for Specification and Design Languages (FDL)","start":{"date-parts":[[2020,9,15]]},"location":"Kiel, Germany","end":{"date-parts":[[2020,9,17]]}},"container-title":["2020 Forum for Specification and Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9226655\/9232930\/09232943.pdf?arnumber=9232943","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,16]],"date-time":"2024-08-16T20:33:24Z","timestamp":1723840404000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9232943\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,15]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/fdl50818.2020.9232943","relation":{},"subject":[],"published":{"date-parts":[[2020,9,15]]}}}