{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:26:59Z","timestamp":1752550019345},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650034"},{"type":"electronic","value":"9783540497929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055342","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T07:28:45Z","timestamp":1153985325000},"page":"123-132","source":"Crossref","is-referenced-by-count":2,"title":["Designing a provably correct robt control system using a \u2018lean\u2019 formal method"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Cau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Czarnecki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hussein","family":"Zedan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"key":"12_CR1","first-page":"79","volume":"1231","author":"A. Cau","year":"1997","unstructured":"Cau, A. and Zedan, H.: Refining Interval Temporal Logic Specifications. In proc. of Fourth AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software (ARTS\u201997), LNCS 1231, Mallorca, Spain, May 21\u201323, (1997) 79\u201394","journal-title":"LNCS"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1093\/comjnl\/38.10.785","volume":"38","author":"G. Lowe","year":"1995","unstructured":"Lowe, G. and Zedan, H.: Refinement of Complex Systems: a Case Study. The Computer Journal, 38:10, (1995)","journal-title":"The Computer Journal"},{"key":"12_CR3","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B. Moszkowski","year":"1985","unstructured":"Moszkowski, B.: A Temporal Logic for Multilevel Reasoning About Hardware. IEEE Computer 18, (1985) 10\u201319","journal-title":"IEEE Computer"},{"key":"12_CR4","volume-title":"Executing Temporal Logic Programs","author":"B. Moszkowski","year":"1986","unstructured":"Moszkowski, B.: Executing Temporal Logic Programs. Cambridge Univ. Press, UK, (1986)"},{"key":"12_CR5","unstructured":"Moszkowski, B.: 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":"12_CR6","unstructured":"Rushby, J.: A Tutorial on Specification and Verification using PVS. In proc. of the FME \u201993 symposium: Industrial-Strength Formal Methods, J.C.P. Woodcock and P.G. Larsen (eds.), LNCS 670, Odense, Denmark, (1993) 357\u2013406. Check homepage: http:\/\/www.csl.sri.com\/pvs.html"},{"key":"12_CR7","volume-title":"Telerobotics, Automation, and Human Supervisory Control","author":"T.B. Sheridan","year":"1992","unstructured":"Sheridan, T.B.: Telerobotics, Automation, and Human Supervisory Control. The MIT Press, Cambridge, Massachusetts, (1992)"},{"key":"12_CR8","first-page":"693","volume":"711","author":"D.J. Scholefield","year":"1993","unstructured":"Scholefield, D.J., Zedan, H. and He, J.: Real-time Refinement: Semantics and Application. LNCS 711, (1993) 693\u2013702","journal-title":"LNCS"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Scholefield, D.J., Zedan, H. and He, J.: A Specification Oriented Semantics for the Refinement of Real-Time Systems. Theoretical Computer Science 130, (1994)","DOI":"10.1016\/0304-3975(94)90096-5"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T14:37:47Z","timestamp":1549895867000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055342"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650034","9783540497929"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0055342","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}