{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:34:59Z","timestamp":1761323699214},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212591"},{"type":"electronic","value":"9783540247432"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24743-2_24","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T11:02:22Z","timestamp":1280746942000},"page":"357-371","source":"Crossref","is-referenced-by-count":33,"title":["Event-Driven Programming with Logical Execution Times"],"prefix":"10.1007","author":[{"given":"Arkadeb","family":"Ghosal","sequence":"first","affiliation":[]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[]},{"given":"Christoph M.","family":"Kirsch","sequence":"additional","affiliation":[]},{"given":"Marco A. A.","family":"Sanvido","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","volume-title":"Real-Time Systems and Programming Languages","author":"A. Burns","year":"2001","unstructured":"Burns, A., Wellings, A.: Real-Time Systems and Programming Languages. Addison-Wesley, Reading (2001)"},{"key":"24_CR2","volume-title":"Hard Real-Time Computing Systems","author":"G. Buttazzo","year":"1997","unstructured":"Buttazzo, G.: Hard Real-Time Computing Systems. Kluwer, Dordrecht (1997)"},{"key":"24_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous Programming of Reactive Systems","author":"N. Halbwachs","year":"1993","unstructured":"Halbwachs, N.: Synchronous Programming of Reactive Systems. Kluwer, Dordrecht (1993)"},{"key":"24_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/3-540-45828-X_20","volume-title":"Embedded Software","author":"A. Girault","year":"2002","unstructured":"Girault, A., M\u00e9nier, C.: Automatic production of globally asynchronous, locally synchronous systems. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, pp. 266\u2013281. Springer, Heidelberg (2002)"},{"key":"24_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-540-45212-6_14","volume-title":"Embedded Software","author":"A. Girault","year":"2003","unstructured":"Girault, A., Nicollin, X.: Clock-driven automatic distribution of Lustre programs. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, pp. 206\u2013222. Springer, Heidelberg (2003)"},{"key":"24_CR6","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MCS.2003.1172829","volume":"23","author":"T.A. Henzinger","year":"2003","unstructured":"Henzinger, T.A., Kirsch, C.M., Sanvido, M.A.A., Pree, W.: From control models to real-time code using GIOTTO. IEEE Control Systems Magazine\u00a023, 50\u201364 (2003)","journal-title":"IEEE Control Systems Magazine"},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/JPROC.2002.805825","volume":"91","author":"T.A. Henzinger","year":"2003","unstructured":"Henzinger, T.A., Horowitz, B., Kirsch, C.M.: GIOTTO: a time-triggered language for embedded programming. Proc. IEEE\u00a091, 84\u201399 (2003)","journal-title":"Proc. IEEE"},{"unstructured":"Sanvido, M.A.A., Ghosal, A., Henzinger, T.A.: xGIOTTO language report. Technical Report UCB\/\/CSD-03-1261, UC Berkeley (2003)","key":"24_CR8"},{"key":"24_CR9","first-page":"315","volume-title":"Proc. Programming Language Design and Implementation","author":"T.A. Henzinger","year":"2002","unstructured":"Henzinger, T.A., Kirsch, C.M.: The Embedded Machine: predictable, portable real-time code. In: Proc. Programming Language Design and Implementation, pp. 315\u2013326. ACM, New York (2002)"},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45828-X_7","volume-title":"Embedded Software","author":"T.A. Henzinger","year":"2002","unstructured":"Henzinger, T.A., Kirsch, C.M., Majumdar, R., Matic, S.: Time-safety checking for embedded programs. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, pp. 76\u201392. Springer, Heidelberg (2002)"},{"doi-asserted-by":"crossref","unstructured":"Kirsch, C.M., Henzinger, T.A., Sanvido, M.A.A.: A programmable microkernel for real-time systems. Technical Report UCB\/CSD-03-1250, UC Berkeley (2003)","key":"24_CR11","DOI":"10.21236\/ADA603329"},{"key":"24_CR12","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1109\/MCS.2003.1172830","volume":"23","author":"J. Liu","year":"2003","unstructured":"Liu, J., Lee, E.A.: Timed multitasking for real-time embedded software. IEEE Control Systems Magazine\u00a023, 65\u201375 (2003)","journal-title":"IEEE Control Systems Magazine"},{"key":"24_CR13","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1109\/5.97299","volume":"79","author":"F. Boussinot","year":"1991","unstructured":"Boussinot, F., de Simone, R.: The Esterel language. Proc. IEEE\u00a079, 1293\u20131304 (1991)","journal-title":"Proc. IEEE"},{"key":"24_CR14","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flow programming language Lustre. Proc. IEEE\u00a079, 1305\u20131320 (1991)","journal-title":"Proc. IEEE"},{"key":"24_CR15","doi-asserted-by":"crossref","first-page":"2875","DOI":"10.1109\/CDC.2001.980712","volume":"3","author":"V. Bertin","year":"2001","unstructured":"Bertin, V., Closse, E., Poize, M., Pulou, J., Sifakis, J., Venier, P., Weil, D., Yovine, S.: Taxys = Esterel + Kronos. A tool for verifying real-time properties of embedded systems. Proc. Decision and Control\u00a03, 2875\u20132880 (2001)","journal-title":"Proc. Decision and Control"},{"key":"24_CR16","first-page":"153","volume-title":"Proc. Languages, Compilers, and Tools for Embedded Systems","author":"P. Caspi","year":"2003","unstructured":"Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S., Niebert, P.: From Simulink to Scade\/Lustre to TTA: a layered approach for distributed embedded applications. In: Proc. Languages, Compilers, and Tools for Embedded Systems, pp. 153\u2013162. ACM, New York (2003)"},{"key":"24_CR17","first-page":"1","volume-title":"Proc. Programming Languages Design and Implementation","author":"D. Gay","year":"2003","unstructured":"Gay, D., Levis, P., von Behren, R., Welsh, M., Brewer, E., Culler, D.: The nesC language: a holistic approach to networked embedded systems. In: Proc. Programming Languages Design and Implementation, pp. 1\u201311. ACM, New York (2003)"},{"key":"24_CR18","volume-title":"Concurrent Programming in Erlang","author":"J. Armstrong","year":"1992","unstructured":"Armstrong, J., Virding, R., Wikstr\u00f6m, C., Williams, M.: Concurrent Programming in Erlang. Prentice-Hall, Englewood Cliffs (1992)"},{"key":"24_CR19","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1109\/TSE.1986.6313049","volume":"12","author":"E. Kligerman","year":"1986","unstructured":"Kligerman, E., Stoyenko, A.: Real-time Euclid: a language for reliable real-time systems. IEEE Trans. Software Engineering\u00a012, 941\u2013949 (1986)","journal-title":"IEEE Trans. Software Engineering"},{"key":"24_CR20","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/2.76288","volume":"24","author":"K. Kenny","year":"1991","unstructured":"Kenny, K., Lin, K.J.: Building flexible real-time systems using the Flex language. IEEE Computer\u00a024, 70\u201378 (1991)","journal-title":"IEEE Computer"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24743-2_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T23:19:38Z","timestamp":1559344778000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24743-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212591","9783540247432"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24743-2_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}