{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:07Z","timestamp":1725664627138},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630104"},{"type":"electronic","value":"9783540690580"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63010-4_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:58:36Z","timestamp":1330279116000},"page":"295-309","source":"Crossref","is-referenced-by-count":2,"title":["Formalizing real-time scheduling as program refinement"],"prefix":"10.1007","author":[{"given":"Zhiming","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathai","family":"Joseph","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Lamport. The existence of refinement mapping. In Proc. 3rd IEEE Symposium on Logic and Computer Science, 1988.","DOI":"10.1109\/LICS.1988.5115"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Lamport. An old-fashioned recipe for real-time. In W.P. de Rover J.W. de Bakker, C. Huizing and G. Rozenberg, editors, Real-Time: Theory in Practice, Lecture Notes in Computer Science 600. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0031985"},{"key":"20_CR3","unstructured":"A. Burns, R. Davis, and S. Punnekkat. Feasibility analysis of fault-tolerant real-time tasks. Technical report, Department of Computer Science, University of York, 1995."},{"key":"20_CR4","unstructured":"A. Burns and A. Wellings. Advanced fixed priority scheduling. In M. Joseph, editor, Real-Time Systems: Specification, Verification and and Analysis, pages 32\u201365. Prentice Hall, 1996."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"T. Henzinger, Z. Manna, and A. Pnueli. Temporal proof methodologies for real-time systems. In Proceedings of the 8th ACM Annual Symposium on Principles of Programming Languages, pages 269\u2013276, 1991.","DOI":"10.1145\/99583.99629"},{"issue":"3","key":"20_CR6","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872\u2013923, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Z. Liu and M. Joseph. Specifying and verifying of recovery in asynchronous communicating systems. In J. Vytopil, editor, Formal Techniques in RealTime and Fault Tolerant Systems, pages 137\u2013166. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4615-3220-0_6"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Z. Liu and M. Joseph. Formalizing real-time scheduling as program refinement. Technical report, Department of Maths and Computer Science, University of Leicester, 1996.","DOI":"10.1007\/3-540-63010-4_20"},{"key":"20_CR9","unstructured":"Z. Liu and M. Joseph. Verification of fault-tolerance and real-time. In Proceedings of the 26th Annual International Symposium on Fault-Tolerant Computing, pages 220\u2013229. IEEE Computer Society, 1996."},{"issue":"5","key":"20_CR10","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1007\/BF01211630","volume":"7","author":"Z. Liu","year":"1995","unstructured":"Z. Liu, M. Joseph, and T. Janowski. Verification of schedulability. Formal Aspects of Computing, 7(5):510\u2013532, 1995.","journal-title":"Formal Aspects of Computing"}],"container-title":["Lecture Notes in Computer Science","Transformation-Based Reactive Systems Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63010-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T10:37:42Z","timestamp":1561372662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63010-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630104","9783540690580"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-63010-4_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}