{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:24Z","timestamp":1725664824208},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616481"},{"type":"electronic","value":"9783540706533"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61648-9_42","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:10:06Z","timestamp":1330276206000},"page":"208-227","source":"Crossref","is-referenced-by-count":5,"title":["The production cell: A verified real-time system"],"prefix":"10.1007","author":[{"given":"Henning","family":"Dierks","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"12_CR1","unstructured":"R.J.R. Back. Refinement Calculus, Part II: Parallel and Reactive Programs. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, volume 430 of LNCS, pages 67\u201393. Springer-Verlag, 1990."},{"key":"12_CR2","unstructured":"R.H. Campbell and N. Habermann. The specification of process synchronisation by path expressions, volume 16 of LNCS. Springer-Verlag, 1974."},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen. Duration Calculi: An overview. In D. Bj\u00f8rner, M. Broy, and I. V. Pottosin, editors, Formal Methods in Programming and Their Application, volume 735 of LNCS, pages 256\u2013266. Springer-Verlag, 1993.","DOI":"10.1007\/BFb0039713"},{"key":"12_CR4","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40\/5","author":"Z. Chaochen","year":"1991","unstructured":"Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. IPL, 40\/5:269\u2013276, 1991.","journal-title":"IPL"},{"key":"12_CR5","unstructured":"H. Dierks. Die Fertigungszelle als verifiziertes Realzeitsystem. Master's thesis, University of Oldenburg, May 1995."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"C. Fidge, M. Utting, P. Kearney, and I. Hayes. Integrating Real-Time Scheduling Theory and Program Refinement. In M.-C. Gaudel and J. Woodcock, editors, FME '96: Industrial Benefit and Advances in Formal Methods, volume 1051 of LNCS. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-60973-3_95"},{"key":"12_CR7","unstructured":"M.R. Hansen, E.-R. Olderog, M. Schenke, and other. A Duration Calculus Semantics for Real-Time Reactive Systems. ProCoS Technical Report [OLD MRH 1\/1], Universit\u00e4t Oldenburg, September 1993."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Jifeng He, C.A.R. Hoare, M. Fr\u00e4nzle, M. M\u00fcller-Olm, E.-R. Olderog, M. Schenke, M.R. Hansen, A.P. Ravn, and H. Rischel. Provably correct systems. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of LNCS, pages 288\u2013335. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58468-4_171"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"C. Lewerentz, editor. Formal Development of Reactive Systems: Case Study \u201cProduction Cell\u201d, volume 891 of LNCS. Springer, 1995.","DOI":"10.1007\/3-540-58867-1"},{"volume-title":"Case Study \u201cProduction Cell\u201d","year":"1994","key":"12_CR10","unstructured":"C. Lewerentz and T. Lindner, editors. Case Study \u201cProduction Cell\u201d. Forschungszentrum Informatik, Karlsruhe, 1994."},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"A.K. Mok. Coping with Implementation Dependencies in Real-Time System Verification. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Real-Time: Theory in Practice, volume 600 of LNCS, pages 485\u2013501. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0032004"},{"issue":"2","key":"12_CR12","doi-asserted-by":"crossref","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, 18(2):10\u201319, 1985.","journal-title":"IEEE Computer"},{"key":"12_CR13","unstructured":"E.-R. Olderog, S. R\u00f6ssig, J. Sander, and M. Schenke. ProCoS at Oldenburg: The Interface between Specification Language and OCCAM-like Programming Language. Technical Report 3\/92, Univ. Oldenburg, 1992."},{"key":"12_CR14","unstructured":"J.L. Petersen. Specifying a Computer Controlled Forging Machine. ProCos II Technical Report [ID\/DTU JLP 1\/1], Technical University of Denmark, September 1994."},{"key":"12_CR15","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/32.210306","volume":"19","author":"A.P. Ravn","year":"1993","unstructured":"A.P. Ravn, H. Rischel, and K.M. Hansen. Specifying and Verifying Requirements of Real-Time Systems. IEEE Transactions on Software Engineering, 19:41\u201355, January 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"M. Schenke. A Timed Specification Language for Concurrent Reactive Systems. ProCoS Technical Report [OLD MS 6\/1], Universit\u00e4t Oldenburg, 1993.","DOI":"10.1007\/978-1-4471-3229-5_9"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"M. Schenke. A Timed Specification Language for Concurrent Reactive Systems. In D.J. Andrews, J.F. Groote, and C.A. Middelburg, editors, Semantics of Specification Languages, Workshops in Computer Science, pages 152\u2013167. Springer, 1994.","DOI":"10.1007\/978-1-4471-3229-5_9"},{"key":"12_CR18","unstructured":"M. Schenke. Transformational Design of Real-Time Systems, Part II: From Program Specifications to Programs, to appear, 1996."},{"key":"12_CR19","unstructured":"M. Schenke and E.-R. Olderog. Transformational Design of Real-Time Systems, Part I: From Requirements to Program Specfications. to appear, 1996."},{"key":"12_CR20","unstructured":"J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, second edition, 1992."}],"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\/3-540-61648-9_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:53:41Z","timestamp":1640930021000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61648-9_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616481","9783540706533"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-61648-9_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}