{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T00:24:22Z","timestamp":1771547062623,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540426738","type":"print"},{"value":"9783540454496","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45449-7_12","type":"book-chapter","created":{"date-parts":[[2007,9,21]],"date-time":"2007-09-21T15:54:26Z","timestamp":1190390066000},"page":"166-184","source":"Crossref","is-referenced-by-count":140,"title":["Giotto: A Time-Triggered Language for Embedded Programming"],"prefix":"10.1007","author":[{"given":"Thomas A.","family":"Henzinger","sequence":"first","affiliation":[]},{"given":"Benjamin","family":"Horowitz","sequence":"additional","affiliation":[]},{"given":"Christoph Meyer","family":"Kirsch","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,27]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"G. Berry. The foundations of Esterel. In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner, pp. 425\u2013454. MIT Press, 2000.","DOI":"10.7551\/mitpress\/5641.003.0021"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0167-6423(91)90001-E","volume":"16","author":"B. A","year":"1991","unstructured":"A. Benveniste, P. Le Guernic, and C. Jacquemot. Synchronous programming with events and relations: The Signal language and its semantics. Science of Computer Programming, 16:103\u2013149, 1991.","journal-title":"Science of Computer Programming"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"P. Clements. A survey of architecture description languages. In Proc. 8thInternational Workshop on Software Specification and Design, pp. 16\u201325. IEEE Computer Society Press, 1996.","DOI":"10.1109\/IWSSD.1996.501143"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1049\/cce:19990403","volume":"10","author":"R. P. G Collinson","year":"1999","unstructured":"R. P. G. Collinson. Fly-by-wire flight control. Computing &Control Engineering, 10:141\u2013152, 1999.","journal-title":"Computing &Control Engineering"},{"key":"12_CR5","unstructured":"J. Davis, M. Goel, C. Hylands, B. Kienhuis, E. A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorffer, J. Reekie, N. Smyth, J. Tsay, and Y. Xiong. Ptolemy II: Heterogeneous Concurrent Modeling and Design in Java. Technical Report UCB\/ERLM99\/ 44, University of California, Berkeley, 1999."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"P. Eles, K. Kuchcinski, Z. Peng, A. Doboli, and P. Pop. Process scheduling for performance estimation and synthesis of hardware\/software systems. In Proc. 24thEUR OMICRO Conference, pp. 168\u2013175, 1998.","DOI":"10.1109\/EURMIC.1998.711792"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer, 1993.","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"H. N","year":"1991","unstructured":"N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proc. IEEE, 79:1305\u20131320, 1991.","journal-title":"Proc. IEEE"},{"key":"12_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1007\/3-540-44929-9_38","volume-title":"Proc. First IFIP International Conference on Theoretical Computer Science","author":"T. A. Henzinger","year":"2000","unstructured":"T. A. Henzinger. Masaccio: A formal model for embedded components. In Proc. First IFIP International Conference on Theoretical Computer Science, LNCS 1872, pp. 549\u2013563. Springer-Verlag, 2000."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Embedded control systems development with Giotto. In Proc. SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, ACM Press, 2001.","DOI":"10.1145\/384197.384208"},{"key":"12_CR11","series-title":"Technical Report","volume-title":"The Embedded Machine","author":"C. M. Kirsch","year":"2001","unstructured":"C. M. Kirsch. The Embedded Machine. Technical Report UCB\/CSD-01-1137, University of California, Berkeley, 2001."},{"key":"12_CR12","unstructured":"H. Kopetz. Real-time Systems: Design Principles for Distributed Embedded Applications. Kluwer, 1997."},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1049\/sej.1991.0011","volume":"6","author":"K. H","year":"1991","unstructured":"H. Kopetz, R. Zainlinger, G. Fohler, H. Kantz, P. Puschner, and W. Sch\u00fctz. The design of real-time systems: From specification to implementation and verification. IEE\/BCS Software Engineering Journal, 6:72\u201382, 1991.","journal-title":"IEE\/BCS Software Engineering Journal"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"D. Langer, J. Rauch, and M. R\u00f6\u00dfler. Real-time Systems: Engineering and Applications, chapter 14, pp. 369\u2013395. Kluwer, 1992.","DOI":"10.1007\/978-0-585-32314-5_14"},{"key":"12_CR15","unstructured":"M. Sanvido. A Computer System for Model Helicopter Flight Control; Technical Memo 3: The Software Core. Technical Report 317, Institute of Computer Systems, ETH Z\u00fcrich, 1999."},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"40","author":"T. K","year":"1994","unstructured":"K. Tindell and J. Clark. Holistic schedulability for distributed hard real-time systems. Microprocessing and Microprogramming, 40:117\u2013134, 1994.","journal-title":"Microprocessing and Microprogramming"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"S. Vestal and P. Binns. Scheduling and communication in MetaH. In Proc. 14thA nnual Real-Time Systems Symposium. IEEE Computer Society Press, 1993.","DOI":"10.1109\/REAL.1993.393500"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"S. Vestal. MetaH support for real-time multi-processor avionics. In Proc. Fifth International Workshop on Parallel and Distributed Real-Time Systems, pp. 11\u201321. IEEE Computer Society Press, 1997.","DOI":"10.1109\/WPDRTS.1997.637858"},{"key":"12_CR19","unstructured":"N. Wirth. A Computer System for Model Helicopter Flight Control; Technical Memo 2: The Programming Language Oberon SA, second edition. Technical Report 285, Institute of Computer Systems, ETH Z\u00fcrich, 1999."}],"container-title":["Lecture Notes in Computer Science","Embedded Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45449-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T04:16:41Z","timestamp":1737433001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45449-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426738","9783540454496"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45449-7_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}