{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T03:33:08Z","timestamp":1725766388750},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/isorc.2013.6913222","type":"proceedings-article","created":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T20:48:11Z","timestamp":1412801291000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Programming deterministic reactive systems with Synchronous Java"],"prefix":"10.1109","author":[{"given":"Christian","family":"Motika","sequence":"first","affiliation":[]},{"given":"Reinhard","family":"von Hanxleden","sequence":"additional","affiliation":[]},{"given":"Mirko","family":"Heinold","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244146"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/276609.276619"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1850771.1850786"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1997.641279"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024952"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1450095.1450117"},{"key":"11","article-title":"Java for safety-critical applications","author":"henties","year":"2009","journal-title":"2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert 2009)"},{"journal-title":"SyncCharts in C auf Multicore","year":"2010","author":"k\ufffdser","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2007.06.001"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75664-4_11"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1852761.1852765"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(02)00286-7"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763284"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629366"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.128"},{"key":"3","article-title":"Building timing predictable embedded systems","author":"axer","year":"2013","journal-title":"ACM Transactions on Embedded Computing Systems"},{"journal-title":"SyncCharts A Visual Representation of Reactive Behaviors","year":"1996","author":"andr\ufffd","key":"2"},{"journal-title":"Synchronous Java","year":"2010","author":"heinold","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457078"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.919"},{"journal-title":"The Real-Time Specification for Java","year":"2000","author":"bollella","key":"5"},{"key":"4","doi-asserted-by":"crossref","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":"9","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210406"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/366663.366704"}],"event":{"name":"2013 IEEE 16th International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing (ISORC)","start":{"date-parts":[[2013,6,19]]},"location":"Paderborn, Germany","end":{"date-parts":[[2013,6,21]]}},"container-title":["16th IEEE International Symposium on Object\/component\/service-oriented Real-time distributed Computing (ISORC 2013)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6906723\/6913188\/06913222.pdf?arnumber=6913222","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,3]],"date-time":"2024-06-03T17:35:59Z","timestamp":1717436159000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6913222\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/isorc.2013.6913222","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}