{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:05:04Z","timestamp":1725494704306},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410553"},{"type":"electronic","value":"9783540453529"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"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":[[2000]]},"DOI":"10.1007\/3-540-45352-0_15","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T17:26:02Z","timestamp":1194974762000},"page":"170-184","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Real-Time Program Refinement Using Auxiliary Variables"],"prefix":"10.1007","author":[{"given":"Ian","family":"Hayes","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"publisher","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 Software, 146(2):104\u2013111, April 1999.","journal-title":"IEE Proceedings Software"},{"unstructured":"S. Grundon, I. J. Hayes, and C. J. Fidge. Timing constraint analysis. In C. Mc-Donald, editor, Computer Science\u2019 98: Proc. 21st Australasian Computer Science Conf. (ACSC\u201998), Perth, 4-6 Feb., pages 575\u2013586. Springer-Verlag, 1998.","key":"15_CR2"},{"doi-asserted-by":"crossref","unstructured":"I. J. Hayes. Reasoning about non-terminating loops using deadline commands. In Roland Backhouse and Jose Oliveira, editors, Mathematics of Program Construction (MPC\u20192000), July 2000.","key":"15_CR3","DOI":"10.1007\/10722010_5"},{"unstructured":"I. J. Hayes, C. J. Fidge, and K. Lermer. Semantic identification of dead control-flow paths. Technical Report 99-32, Software Verification Research Centre, The University of Queensland, October 1999.","key":"15_CR4"},{"issue":"3","key":"15_CR5","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/BF01211077","volume":"7","author":"I. J. Hayes","year":"1995","unstructured":"I. J. Hayes and B. P. Mahony. Using units of measurement in formal specifications. Formal Aspects of Computing, 7(3):329\u2013347, 1995.","journal-title":"Formal Aspects of Computing"},{"doi-asserted-by":"crossref","unstructured":"I. J. Hayes and M. Utting. Coercing real-time refinement: A transmitter. In D. J. Duke and A. S. Evans, editors, BCS-FACS Northern Formal Methods Workshop (NFMW\u201996), Electronic Workshops in Computing. Springer Verlag, 1997.","key":"15_CR6","DOI":"10.14236\/ewic\/FA1996.9"},{"unstructured":"I. J. Hayes and M. Utting. A sequential real-time refinement calculus. Technical Report UQ-SVRC-97-33, Software Verification Research Centre, The University of Queensland, URL http:\/\/svrc.it.uq.edu.au , 1997.","key":"15_CR7"},{"key":"15_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/3-540-51305-1_3","volume-title":"Mathematics of Program Construction","author":"E. C. R. Hehner","year":"1989","unstructured":"E. C. R. Hehner. Termination is timing. In J.L.A. van de Snepscheut, editor, Mathematics of Program Construction, volume 375 of Lecture Notes in Computer Science, pages 36\u201347. Springer-Verlag, June 1989."},{"doi-asserted-by":"crossref","unstructured":"E. C. R. Hehner. A Practical Theory of Programming. Springer Verlag, 1993.","key":"15_CR9","DOI":"10.1007\/978-1-4419-8596-5"},{"issue":"2","key":"15_CR10","first-page":"15","volume":"1","author":"J. Hooman","year":"1998","unstructured":"J. Hooman and O. van Roosmalen. Formal design of real-time systems in a platform-independent way. Parallel and Distributed Computing Practices, 1(2):15\u201330, 1998.","journal-title":"Parallel and Distributed Computing Practices"},{"issue":"7","key":"15_CR11","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1109\/32.392980","volume":"21","author":"S.-S. Lim","year":"1995","unstructured":"Sung-Soo Lim, Young Hyun Bae, Gyu Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park, Soo-Mook Moon, and Chong Sang Kim. An accurate worst case timing analysis for RISC processors. IEEE Trans. on Software Eng., 21(7):593\u2013604, July 1995.","journal-title":"IEEE Trans. on Software Eng."},{"unstructured":"C. C. Morgan. Programming from Specifications. Prentice Hall, second edition,1994.","key":"15_CR12"},{"doi-asserted-by":"crossref","unstructured":"M. Utting and C. J. Fidge. A real-time refinement calculus that changes only time. In He Jifeng, editor, Proc. 7th BCS\/FACS Refinement Workshop, Electronic Workshops in Computing. Springer, July 1996. URL http:\/\/www.springer.co.uk\/eWiC\/Workshops\/7RW.html .","key":"15_CR13","DOI":"10.14236\/ewic\/RW1996.14"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45352-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T01:53:48Z","timestamp":1588038828000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45352-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410553","9783540453529"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45352-0_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"22 January 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}