{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:00:23Z","timestamp":1742954423097,"version":"3.40.3"},"publisher-location":"London","reference-count":8,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198864"},{"type":"electronic","value":"9781447132400"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3240-0_15","type":"book-chapter","created":{"date-parts":[[2011,12,28]],"date-time":"2011-12-28T05:22:09Z","timestamp":1325049729000},"page":"279-305","source":"Crossref","is-referenced-by-count":6,"title":["Proof Obligations for Real-Time Refinement"],"prefix":"10.1007","author":[{"given":"Colin","family":"Fidge","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"C.J. Fidge. Real-time refinement. In J. Woodcock and P. Larsen, editors, FME\u201998: Industrial-Strength Formal Methods, volume 670 of Lecture Notes in Computer Science, pages 314\u2013331. Springer-Verlag, 1993.","DOI":"10.1007\/BFb0024654"},{"key":"15_CR2","unstructured":"INMOS Ltd. Product Information - The transputer Family 1987,April 1987."},{"issue":"3","key":"15_CR3","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1049\/sej.1991.0011","volume":"6","author":"H Kopetz","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. Software Engineering Journal, 6 (3): 72\u201382, May 1991.","journal-title":"Software Engineering Journal"},{"key":"15_CR4","unstructured":"C. Morgan. Programming from Specifications. Prentice-Hall, 1990."},{"key":"15_CR5","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/REAL.1990.128731","volume-title":"Proc. IEEE Real-Time Systems Symposium","author":"CY Park","year":"1990","unstructured":"C.Y. Park and A.C. Shaw. Experiments with a program timing tool based on source-level timing schema. In Proc. IEEE Real-Time Systems Symposium, pages 72\u201381, Florida, December 1990."},{"issue":"2","key":"15_CR6","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P Puschner","year":"1989","unstructured":"P. Puschner and Ch. Koza. Calculating the maximum execution time of real-time programs. Journal of Real-Time Systems, 1 (2): 159\u2013176, September 1989.","journal-title":"Journal of Real-Time Systems"},{"issue":"7","key":"15_CR7","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1109\/32.29487","volume":"15","author":"AC Shaw","year":"1989","unstructured":"A.C. Shaw. Reasoning about time in higher-level language software. IEEE Transactions on Software Engineering, 15 (7): 875\u2013889, July 1989.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR8","unstructured":"J.B. Wordsworth. Software Development with Z. Addison-Wesley, 1992."}],"container-title":["Workshops in Computing","6th Refinement Workshop"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3240-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T21:19:19Z","timestamp":1676755159000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3240-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198864","9781447132400"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3240-0_15","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}