{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:16:07Z","timestamp":1748751367699},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540443070"},{"type":"electronic","value":"9783540458289"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45828-x_6","type":"book-chapter","created":{"date-parts":[[2007,9,21]],"date-time":"2007-09-21T13:59:11Z","timestamp":1190383151000},"page":"61-75","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Principles of Real-Time Programming"],"prefix":"10.1007","author":[{"given":"Christoph M.","family":"Kirsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"G. Berry. The foundations of Esterel. In C. Stirling G. Plotkin and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 2000.","DOI":"10.7551\/mitpress\/5641.003.0021"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"G. Berry, S. Ramesh, and R. K. Shyamasundar. Communicating reactive processes. In Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 85\u201398, 1993.","DOI":"10.1145\/158511.158526"},{"key":"6_CR3","unstructured":"G. Buttazzo. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Kluwer, 1997."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer, 1993.","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proc. of the IEEE, 79(9), 1991.","DOI":"10.1109\/5.97300"},{"key":"6_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/3-540-45449-7_12","volume-title":"Proc. First International Workshop on Embedded Software (EMSOFT)","author":"T.A. Henzinger","year":"2001","unstructured":"T.A. Henzinger, B. Horowitz, and C.M. Kirsch. Giotto: A time-triggered language for embedded programming. In Proc. First International Workshop on Embedded Software (EMSOFT), LNCS 2211, pages 166\u2013184. Springer Verlag, 2001."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger and C.M. Kirsch. The Embedded Machine: predictable, portable real-time code. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 315\u2013326, 2002.","DOI":"10.1145\/543552.512567"},{"key":"6_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Proc. Second International Workshop on Embedded Software (EMSOFT)","author":"T.A. Henzinger","year":"2002","unstructured":"T.A. Henzinger, C.M. Kirsch, R. Majumdar, and S. Matic. Time safety checking for embedded programs. In Proc. Second International Workshop on Embedded Software (EMSOFT), LNCS. Springer Verlag, 2002."},{"key":"6_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Proc. Second International Workshop on Embedded Software (EMSOFT)","author":"C.M. Kirsch","year":"2002","unstructured":"C.M. Kirsch, M.A.A. Sanvido, T.A. Henzinger, and W. Pree. A Giotto-based helicopter control system. In Proc. Second International Workshop on Embedded Software (EMSOFT), LNCS. Springer Verlag, 2002."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"E.A. Lee. Embedded software. In M. Zelkowitz, editor, Advances in Computers, volume 56. Academic Press, 2002.","DOI":"10.1016\/S0065-2458(02)80004-3"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM, 20(1), 1973.","DOI":"10.1145\/321738.321743"},{"key":"6_CR12","unstructured":"S. Malik and Y.-T. Li. Performance Analysis of Real-Time Embedded Software. Kluwer, 1999."},{"key":"6_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/3-540-50302-1_5","volume-title":"Proc. of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"D. Pilaud","year":"1988","unstructured":"D. Pilaud and N. Halbwachs. From a synchronous declarative language to a temporal logic dealing with multiform time. In Proc. of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 331, pages 99\u2013110. Springer Verlag, 1988."},{"key":"6_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/3-540-45449-7_26","volume-title":"Proc. First International Workshop on Embedded Software (EMSOFT)","author":"J. Sifakis","year":"2001","unstructured":"J. Sifakis. Modeling real-time systems-challenges and work directions. In Proc. First International Workshop on Embedded Software (EMSOFT), LNCS 2211, pages 373\u2013389. Springer Verlag, 2001."},{"issue":"8","key":"6_CR15","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1145\/359763.359798","volume":"20","author":"N. Wirth","year":"1977","unstructured":"N. Wirth. Toward a discipline of real-time programming. Communications of the ACM, 20(8):577\u2013583, 1977.","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Embedded Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45828-X_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,18]],"date-time":"2024-02-18T01:48:55Z","timestamp":1708220935000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45828-X_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443070","9783540458289"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45828-x_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"24 October 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}