{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:35Z","timestamp":1725562595424},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540220114"},{"type":"electronic","value":"9783540248415"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24841-5_19","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T20:28:22Z","timestamp":1281299302000},"page":"237-248","source":"Crossref","is-referenced-by-count":2,"title":["Ada Meets Giotto"],"prefix":"10.1007","author":[{"given":"Helge","family":"Hagenauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norbert","family":"Martinek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Pohlmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"Hard Real-Time Computing Systems","author":"G.C. Buttazzo","year":"2000","unstructured":"Buttazzo, G.C.: Hard Real-Time Computing Systems. Kluwer, Boston (2000)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/BFb0055011","volume-title":"Reliable Software Technologies - Ada-Europe \u201998","author":"A. Burns","year":"1998","unstructured":"Burns, A., Dobbing, B., Romanski, G.: The Ravenscar Tasking Profile for High Integrity Real-Time Programs. In: Asplund, L. (ed.) Ada-Europe 1998. LNCS, vol.\u00a01411, p. 263. Springer, Heidelberg (1998)"},{"unstructured":"Burns, A., Dobbing, B., Vardanega, T.: Guide for the Use of the Ravenscar Profile in High Integrity Systems. University of York Technical Reports YCS-2003-348 (2003)","key":"19_CR3"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/3-540-44947-7_4","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2003","author":"P. Amey","year":"2003","unstructured":"Amey, P., Dobbing, B.: High Integrity Ravenscar. In: Rosen, J.-P., Strohmeier, A. (eds.) Ada-Europe 2003. LNCS, vol.\u00a02655, pp. 68\u201379. Springer, Heidelberg (2003)"},{"key":"19_CR5","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)"},{"doi-asserted-by":"crossref","unstructured":"Fidge, C., Hayes, I., Watson, G.: The Deadline Command. IEEE Software, Special Issue on Real Time Systems\u00a0146(2). IEEE (1999)","key":"19_CR6","DOI":"10.1049\/ip-sen:19990407"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/3-540-44947-7_5","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2003","author":"A. Burns","year":"2003","unstructured":"Burns, A., Lin, T.M.: Adding Temporal Annotations and Associated Verification to the Ravenscar Profile. In: Rosen, J.-P., Strohmeier, A. (eds.) Ada-Europe 2003. LNCS, vol.\u00a02655, pp. 80\u201391. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: A Time Triggered Language for Embedded Programming. Proc. IEEE\u00a091(1) (2003)","key":"19_CR8","DOI":"10.1109\/JPROC.2002.805825"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Embedded Software","author":"C.M. Kirsch","year":"2002","unstructured":"Kirsch, C.M.: Principles of Real-Time Programming. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, Springer, Heidelberg (2002)"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Embedded Software","author":"C.M. Kirsch","year":"2002","unstructured":"Kirsch, C.M., Sanvido, M.A.A., Henzinger, T.A., Pree, W.: A Giotto-Based Helicopter System. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, Springer, Heidelberg (2002)"},{"key":"19_CR11","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, Boston (1993)"},{"doi-asserted-by":"crossref","unstructured":"Gerber, R., Hong, S.: Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion. IEEE Transactions on Software Engineering 21(5) (1995)","key":"19_CR12","DOI":"10.1109\/32.387469"},{"key":"19_CR13","volume-title":"Real-Time Systems","author":"H. Kopetz","year":"2001","unstructured":"Kopetz, H.: Real-Time Systems. Kluwer, Boston (2001)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies - Ada-Europe 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24841-5_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:56:57Z","timestamp":1605761817000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24841-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540220114","9783540248415"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24841-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}