{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:51:13Z","timestamp":1725475873061},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676690"},{"type":"electronic","value":"9783540450986"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722060_8","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T19:00:28Z","timestamp":1167418828000},"page":"56-68","source":"Crossref","is-referenced-by-count":3,"title":["Static Worst-Case Execution Time Analysis of Synchronous Programs"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Ringler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Ringler, T., Steiner, J., Belschner, R., Hedenetz, B.: Increasing System Safety for by-wire Applications in Vehicles by using a Time Triggered Architecture, Safecomp, Heidelberg (1998)","DOI":"10.1007\/3-540-49646-7_19"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Kopetz, H., et al.: A Prototype Implementation of a TTP\/C Controller, SAE Technical Paper Series, 970296 (February 1997)","DOI":"10.4271\/970296"},{"issue":"2","key":"8_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation. Science of Computer Programming\u00a019(2), 87\u2013152 (1992)","journal-title":"Science of Computer Programming"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Gunzert, M.: Building Safety Critical Real-Time Systems with Synchronous Software Components. In: IFAC Workshop on Real-Time Programming WRTP 1999, Schlo\u00df Dagstuhl, Germany (1999)","DOI":"10.1016\/S1474-6670(17)39966-4"},{"key":"8_CR5","unstructured":"Gunzert, M., Ringler, T.: ViPER \u2013 A Component-Based Approach for Designing Real-Time Systems. In: Proc. ISA TEC INTERKAMA 1999, D\u00fcsseldorf (1999)"},{"key":"8_CR6","unstructured":"Puschner, P.: Timing Analysis for Real-Time Programs, Ph.D. Thesis, Institut f\u00fcr Technische Informatik, Vienna University of Technology (1993)"},{"key":"8_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5131-7","volume-title":"Performance Analysis of Real-Time embedded Software","author":"Y. Li","year":"1999","unstructured":"Li, Y., Malik, S.: Performance Analysis of Real-Time embedded Software. Kluwer Academic Publishers, Bosten (1999)"},{"key":"8_CR8","unstructured":"Park, C.Y.: Predicting Deterministic Execution Times of Real-Time Programs Ph.D. Thesis, University of Washington, Seattle 98195 (August 1992)"},{"key":"8_CR9","volume-title":"Compilers Principles, Techniques and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers Principles, Techniques and Tools. Addison-Wesley, Reading (1986) ISBN 0-201-10194-7"},{"key":"8_CR10","unstructured":"Mok, A.K., et al.: Evaluating Tight Execution Time Bounds of Programs by Annotations. In: Proceedings of the 6th IEEE Workshop on Real-Time Operating Systems and Software, pp. 74\u201380 (May 1989)"},{"issue":"2","key":"8_CR11","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P. Puschner","year":"1989","unstructured":"Puschner, P., Koza, C.: Calculating the Maximum Execution Time of Real-Time Programs. Journal of Real-Time Systems\u00a01(2), 159\u2013176 (1989); Reprint in IEEE Tutorial: Advances in Real-Time Systems, pp. 322- 339. IEEE Computer Society Press, Los Alamitos (1993)","journal-title":"Journal of Real-Time Systems"},{"key":"8_CR12","unstructured":"Puschner, P., Nossal, R.: Testing the Results of Static Worst-Case ExecutionTime Analysis. In: IEEE Real-Time Systems Symposium, Madrid, Spain (1998)"},{"key":"8_CR13","unstructured":"Berry, G.: The Foundations of Ersterel, Proof, Language and Interaction: Essays in Honour of Milner, R., Plotkin, G., Stirling, C., Tofte, M. (eds.). MIT Press, Cambridge (1998)"},{"key":"8_CR14","unstructured":"The Common Format of Synchronous Languages - The Declarative Code DC, Version 1.0, Ecole des Mines de Paris and INRIA, 2004 Route des Lucioles, 06904 Sophia-Antipolis CDX (1995)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies Ada-Europe 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722060_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T07:46:52Z","timestamp":1556005612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722060_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676690","9783540450986"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/10722060_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}