{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T21:31:31Z","timestamp":1768339891474,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540630104","type":"print"},{"value":"9783540690580","type":"electronic"}],"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_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:58:41Z","timestamp":1330279121000},"page":"79-94","source":"Crossref","is-referenced-by-count":24,"title":["Refining interval temporal logic specifications"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Cau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hussein","family":"Zedan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/BF00291051","volume":"25","author":"R.J.R. Back","year":"1988","unstructured":"R.J.R. Back. A calculus of refinements for program derivations. Acta Informatica, 25:593\u2013624, 1988","journal-title":"Acta Informatica"},{"key":"6_CR2","first-page":"493","volume-title":"Using ITL and Tempura for Large Scale Specification and Simulation","author":"A. Cau","year":"1996","unstructured":"A. Cau, H. Zedan, N. Coleman and B. Moszkowski. Using ITL and Tempura for Large Scale Specification and Simulation, in proc. of fourth euromicro workshop on parallel and distributed processing, IEEE, 1996, Braga, Portugal, 493\u2013500."},{"key":"6_CR3","unstructured":"A. Cau and B. Moszkowski: Using PVS for Interval Temporal Logic Proofs, Part 1: The Syntactic and Semantic Encoding. Technical Report, 1996."},{"key":"6_CR4","unstructured":"J. He. A dual-time model for communicating sequential processes. Unpublished manuscript."},{"key":"6_CR5","unstructured":"R. Milner. A calculus for communicating processes. LNCS 92, 1983."},{"key":"6_CR6","unstructured":"C. Morgan. Programming from specifications. Prentice-Hall International, 1990."},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B. Moszkowski","year":"1985","unstructured":"B. Moszkowski: A Temporal Logic for Multilevel Reasoning About Hardware. IEEE Computer 1985;18:10\u201319.","journal-title":"IEEE Computer"},{"key":"6_CR8","volume-title":"Executing Temporal Logic Programs","author":"B. Moszkowski","year":"1986","unstructured":"B. Moszkowski: Executing Temporal Logic Programs. Cambridge Univ. Press, Cambridge, UK, 1986."},{"key":"6_CR9","unstructured":"B. Moszkowski. Some very compositional temporal properties, in: Programming Concepts, Methods and Calculi, Ernst-R\u00fcdiger Olderog (ed.), IFIP Transactions, Vol. A-56, North-Holland, 1994, 307\u2013326."},{"key":"6_CR10","unstructured":"X. Nicolin, J. Richier, J. Sifakis and J. Voiron. ATP: an algebra for timed processes. In Programming Concepts and Methods, M. Broy and C.B. Jones (eds), pp. 414\u2013443, 1990."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"D. Scholefield, H. Zedan and J. He. A specification oriented semantics for the refinement of real-time systems. Theoretical Computer Science, 130, August 1994.","DOI":"10.1016\/0304-3975(94)90096-5"}],"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_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,31]],"date-time":"2019-01-31T22:36:49Z","timestamp":1548974209000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63010-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630104","9783540690580"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-63010-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}