{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:17:41Z","timestamp":1737091061577,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439288"},{"type":"electronic","value":"9783540456148"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45614-7_21","type":"book-chapter","created":{"date-parts":[[2007,5,17]],"date-time":"2007-05-17T04:45:28Z","timestamp":1179377128000},"page":"370-389","source":"Crossref","is-referenced-by-count":4,"title":["Timing Analysis of Assembler Code Control-Flow Paths"],"prefix":"10.1007","author":[{"given":"C. J.","family":"Fidge","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,9]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"N. C. Audsley, I. J. Bate, and A. Grigg. Portable code for critical systems. In Proc. 6th International Conference on Real-Time Computing Systems and Applications, pages 111\u2013118, December 1999.","DOI":"10.1109\/RTCSA.1999.811200"},{"key":"21_CR2","series-title":"Lect Notes Comput Sci","first-page":"42","volume-title":"Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (REX Workshop 1989)","author":"R.-J. R. Back","year":"1989","unstructured":"R.-J. R. Back and J. von Wright. Refinement calculus, part I: Sequential nondeterministic programs. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (REX Workshop 1989), volume 430 of Lecture Notes in Computer Science, pages 42\u201366. Springer-Verlag, 1989."},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"B. Carr\u00e9. Program analysis and verification. In C. T. Sennett, editor, High-Integrity Software, chapter 8, pages 176\u2013197. Plenum Press, 1989.","DOI":"10.1007\/978-1-4684-5775-9_8"},{"key":"21_CR4","unstructured":"C. Cifuentes, D. Simon, and A. Fraboulet. Assembly to high-level language translation. Technical Report 439, School of Information Technology, The University of Queensland, August 1998."},{"key":"21_CR5","unstructured":"D. Corman, P. Goertzen, J. Luke, and M. Mills. Incremental Upgrade of Legacy Systems (IULS): A fundamental software technology for aging aircraft. In Fourth Joint DOD\/FAA\/NASA Conference on Aging Aircraft, 2000."},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"E. W. Dijkstra and C. S. Scholten. Predicate Calculus and Program Semantics. Springer-Verlag, 1990.","DOI":"10.1007\/978-1-4612-3228-5"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"J. Engblom and A. Ermedahl. Modeling complex flows for worst-case execution time analysis. In Proceedings of the 21st IEEE Real-Time Systems Symposium, pages 163\u2013174. IEEE Computer Society, 2000.","DOI":"10.1109\/REAL.2000.896006"},{"issue":"2","key":"21_CR8","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1049\/ip-sen:19990407","volume":"146","author":"C. J. Fidge","year":"1999","unstructured":"C. J. Fidge, I. J. Hayes, and G. Watson. The deadline command. IEE Proceedings\u2014Software, 146(2):104\u2013111, April 1999.","journal-title":"IEE Proceedings\u2014Software"},{"key":"21_CR9","unstructured":"S. Grundon, I. J. Hayes, and C. J. Fidge. Timing constraint analysis. In C. McDonald, editor, Computer Science\u2019 98: Proc. 21st Australasian Computer Science Conference, pages 575\u2013586. Springer-Verlag, 1998."},{"key":"21_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/3-540-49059-0_28","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS\/ETAPS\u201999)","author":"E. L. Gunter","year":"1999","unstructured":"E. L. Gunter and D. Peled. Path exploration tool. In W. R. Cleaveland, editor, Tools and Algorithms for the Construction and Analysis of Systems (TACAS\/ETAPS\u201999), volume 1579 of Lecture Notes in Computer Science, pages 405\u2013419. Springer-Verlag, 1999."},{"issue":"6","key":"21_CR11","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/PL00013311","volume":"37","author":"I. J. Hayes","year":"2001","unstructured":"I. J. Hayes and M. Utting. A sequential real-time refinement calculus. Acta Informatica, 37(6):385\u2013448, 2001.","journal-title":"Acta Informatica"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"C. A. Healy, D. B. Whalley, and M. G. Harmon. Integrating the timing analysis of pipelining and instruction caching. In Proc. 16th IEEE Real-Time Systems Symposium, pages 288\u2013297. IEEE Computer Society Press, December 1995.","DOI":"10.1109\/REAL.1995.495218"},{"key":"21_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1007\/3-540-58468-4_178","volume-title":"Formal Techniques in Real Time and Fault Tolerant Systems","author":"P. Kearney","year":"1994","unstructured":"P. Kearney and M. Utting. A layered real-time specification of a RISC processor. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real Time and Fault Tolerant Systems, volume 863 of Lecture Notes in Computer Science, pages 455\u2013475. Springer-Verlag, 1994."},{"issue":"2\/3","key":"21_CR14","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1008138407139","volume":"17","author":"T. Lundqvist","year":"1999","unstructured":"T. Lundqvist and P. Stenstr\u00f6m. An integrated path and timing analysis method based on cycle-level symbolic execution. Real-Time Systems, 17(2\/3):183\u2013207, November 1999.","journal-title":"Real-Time Systems"},{"key":"21_CR15","unstructured":"C. Morgan. Programming from Specifications. Prentice-Hall, 1990."},{"key":"21_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0027453","volume-title":"Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction","author":"M. M\u00fcller-Olm","year":"1997","unstructured":"M. M\u00fcller-Olm. Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction, volume 1283 of Lecture Notes in Computer Science. Springer-Verlag, 1997."},{"issue":"3","key":"21_CR17","doi-asserted-by":"crossref","first-page":"492","DOI":"10.1145\/256167.256225","volume":"19","author":"N. Ramsey","year":"1997","unstructured":"N. Ramsey and M. F. Fern\u00e1ndez. Specifying representations of machine instructions. ACM Transactions on Programming Languages and Systems, 19(3):492\u2013524, May 1997.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"A. Sampaio. An Algebraic Approach to Compiler Design, volume 4 of AMAST Series in Computing. World Scientific, 1997.","DOI":"10.1142\/2870"},{"key":"21_CR19","unstructured":"M. Utting and P. Kearney. Instruction level specification of a MIPS R3000 CPU. Technical Report 93-25, Software Verification Research Centre, The University of Queensland, February 1994."},{"key":"21_CR20","unstructured":"T. Williams. Performance pushes RISC chips into real-time roles. Computer Design, pages 79\u201386, September 1991."}],"container-title":["Lecture Notes in Computer Science","FME 2002:Formal Methods\u2014Getting IT Right"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45614-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T11:09:34Z","timestamp":1737025774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45614-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439288","9783540456148"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45614-7_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}