{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:07:46Z","timestamp":1730221666533,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/fdl.2018.8524111","type":"proceedings-article","created":{"date-parts":[[2018,11,8]],"date-time":"2018-11-08T18:21:35Z","timestamp":1541701295000},"page":"5-16","source":"Crossref","is-referenced-by-count":3,"title":["Time in SCCharts"],"prefix":"10.1109","author":[{"given":"Alexander","family":"Schulz-Rosengarten","sequence":"first","affiliation":[]},{"given":"Reinhard","family":"Von Hanxleden","sequence":"additional","affiliation":[]},{"given":"Frederic","family":"Mallet","sequence":"additional","affiliation":[]},{"given":"Robert","family":"De Simone","sequence":"additional","affiliation":[]},{"given":"Julien","family":"Deantoni","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2009.125"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000763"},{"key":"ref12","first-page":"231","article-title":"Statecharts: A visual formalism for complex systems","author":"david","year":"1987","journal-title":"Science of Computer Programming"},{"key":"ref13","first-page":"347","article-title":"Verifying quantitative realtime properties of synchronous programs","volume":"697","author":"jourdan","year":"1993","journal-title":"Proc Comput -Aided Verification (CAV)"},{"key":"ref14","first-page":"558","article-title":"Time, clocks, and the ordering of events in a distributed system","author":"leslie","year":"1978","journal-title":"Commun ACM"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"journal-title":"Introduction to Embedded Systems A Cyber-physical Systems Approach","year":"2017","author":"lee","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.03.001"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58179-0_45"},{"key":"ref19","article-title":"Time in SCCharts","author":"alexander","year":"2018","journal-title":"Technical Report 1805 Christian-Albrechts-Universität zu Kiel Department of Computer Science"},{"key":"ref4","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":"ref3","article-title":"Syntax and Semantics of the Clock Constraint Specification Language (CCSL)","author":"andr\u00e9","year":"2009","journal-title":"INRIA Research Report RR-6925"},{"journal-title":"SYNCHRON'09-Proceedings of Dagstuhl Seminar 09481 number 09481 in Dagstuhl Seminar Proceedings Internationales Begegnungs-und Forschungszentrum (IBFI)","year":"2009","author":"bourke","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461348"},{"key":"ref8","first-page":"34","article-title":"Timesquare: Treat your models with logical time","author":"deantoni","year":"2012","journal-title":"50th Int Conf on Objects Models Components Patterns (TOOLS) volume 7304 of Lecture Notes in Computer Science"},{"key":"ref7","first-page":"1","article-title":"SCADE 6: A formal language for embedded critical software development (invited paper)","author":"cola\u00e7o","year":"2017","journal-title":"11 th International Symposium on Theoretical Aspects of Software Engineering TASE 2017 Sophia Antipolis"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref9","first-page":"45","article-title":"Distributed real-time software for cyber-physical systems","author":"john","year":"2012","journal-title":"Proceedings of the IEEE"},{"key":"ref20","first-page":"1","article-title":"Verifying MARTE\/CCSL mode behaviors using UP-PAAL","author":"suryadevara","year":"2013","journal-title":"Software Engineering and Formal Methods volume 8137 of Lecture Notes in Computer Science"},{"key":"ref22","article-title":"SCCharts: Sequentially Constructive Statecharts for safety-critical applications","author":"von hanxleden","year":"2014","journal-title":"Proc ACM SIGPLAN Conf Programming Language Design and Implementation (PLDI)"},{"key":"ref21","article-title":"Real-time ticks for synchronous programming","author":"von hanxleden","year":"2017","journal-title":"Proc Forum on Specification and Design Languages (FDL)"},{"journal-title":"Theory of Modeling and Simulation","year":"1976","author":"zeigler","key":"ref23"}],"event":{"name":"2018 Forum on specification & Design Languages (FDL)","start":{"date-parts":[[2018,9,10]]},"location":"Garching","end":{"date-parts":[[2018,9,12]]}},"container-title":["2018 Forum on Specification & Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8501260\/8524032\/08524111.pdf?arnumber=8524111","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T16:34:12Z","timestamp":1643214852000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8524111\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/fdl.2018.8524111","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}