{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:35:23Z","timestamp":1726407323346},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540666240"},{"type":"electronic","value":"9783540480921"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48092-7_3","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T17:01:46Z","timestamp":1186765306000},"page":"61-78","source":"Crossref","is-referenced-by-count":0,"title":["Real-Time Constraints Through the ProCoS Layers"],"prefix":"10.1007","author":[{"given":"Anders P.","family":"Ravn","sequence":"first","affiliation":[]},{"given":"Hans","family":"Rischel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,3,24]]},"reference":[{"key":"3_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/3-540-65193-4_19","volume-title":"Embedded Systems","author":"M. S. Branicky","year":"1998","unstructured":"M. S. Branicky. Analyzing and synthesizing hybrid control systems. In G. Rozenberg and F. W. Vaandrager, editors, Embedded Systems, volume 1494 of LNCS, pages 74\u2013113. Springer-Verlag, 1998."},{"key":"3_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/3-540-63010-4_8","volume-title":"Transformation-Based Reactive Systems Development (ARTS\u201897)","author":"H. Dierks","year":"1997","unstructured":"H. Dierks. PLC-Automata: A New Class of Implementable Real-Time Automata. In M. Bertran and T. Rus, editors, Transformation-Based Reactive Systems Development (ARTS\u201897), volume 1231 of LNCS, pages 111\u2013125. Springer-Verlag, 1997."},{"issue":"3","key":"3_CR3","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/BF01211086","volume":"9","author":"M. R. Hansen","year":"1997","unstructured":"M. R. Hansen and Zhou Chaochen. Duration calculus: Logical foundations. Formal Aspects of Computing, 9(3):283\u201333, 1997.","journal-title":"Formal Aspects of Computing"},{"key":"3_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/BFb0031995","volume-title":"Real-Time: Theory in Practice, REX Workshop","author":"T. A. Henzinger","year":"1992","unstructured":"T. A. Henzinger, Z. Manna, and A. Pnueli. Timed transition systems. In J. W. de Bakker, C. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real-Time: Theory in Practice, REX Workshop, volume 600 of LNCS, pages 226\u2013252. Springer-Verlag, 1992."},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1023\/A:1007963427189","volume":"13","author":"H. Langmaack","year":"1997","unstructured":"H. Langmaack. The ProCoS approach to correct systems. Real-Time Systems, 13:253\u2013275, 1997.","journal-title":"Real-Time Systems"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"H. Langmaack and A. P. Ravn. The ProCoS project: Provably correct systems. In J. Bowen, editor, Towards Verified Systems, volume 2 of Real-Time Safety Critical Systems, chapter Appendix B. Elsevier, 1994.","DOI":"10.1016\/B978-0-444-89901-9.50022-7"},{"key":"3_CR7","unstructured":"Z. Liu. Specification and verification in dc. In Mathai Joseph, editor, Mathematics of Dependable Systems, Intnl. Series in Computer Science, chapter 7, pages 182\u2013228. Prentice Hall, 1996."},{"key":"3_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0027453","volume-title":"Modular Compiler Verification","author":"M. M\u00fcller-Olm","year":"1997","unstructured":"M. M\u00fcller-Olm. Modular Compiler Verification, volume 1283 of LNCS. Springer-Verlag, 1997."},{"key":"3_CR9","unstructured":"E-R. Olderog, A. P. Ravn, and J. U. Skakkeb\u00e6k. Refining system requirements to program specifications. In C. Heitmeyer and D. Mandrioli, editors, Formal Methods in Real-Time Systems, Trends in Software-Engineering, chapter 5, pages 107\u2013134. Wiley, 1996."},{"key":"3_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1007\/3-540-65193-4_27","volume-title":"Embedded Systems","author":"A. P. Ravn","year":"1998","unstructured":"A. P. Ravn, T. J. Eriksen, M. Holdgaard, and H. Rischel. Engineering of realtime systems with an experiment in hybrid control. In G. Rozenberg and F. W. Vaandrager, editors, Embedded Systems, volume 1494 of LNCS, pages 316\u2013352. Springer-Verlag, 1998."},{"issue":"1","key":"3_CR11","doi-asserted-by":"publisher","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 Trans. Softw. Eng., 19(1):41\u201355, 1993.","journal-title":"IEEE Trans. Softw. Eng"},{"key":"3_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/3-540-60609-2_11","volume-title":"SOFSEM\u201895: Theory and Practice of Informatics","author":"H. Rischel","year":"1995","unstructured":"H. Rischel, J. Cuellar, S. M\u00f8rk, A. P. Ravn, and I. Wildgruber. Development of safety-critical real-time systems. In M. Barto\u0161ek, J. Staudek, and J. Wiedermann, editors, SOFSEM\u201895: Theory and Practice of Informatics, volume 1012 of LNCS, pages 206\u2013235. Springer-Verlag, 1995."},{"key":"3_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/BFb0027247","volume-title":"Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control","author":"M. Schenke","year":"1996","unstructured":"M. Schenke and A. P. Ravn. Refinement from a control problem to programs. In J. R. Abrial, E. B\u00f6rger, and H. Langmaack, editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of LNCS, pages 403\u2013427. Springer-Verlag, 1996."},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Chaochen Zhou, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Information Proc. Letters, 40(5), Dec. 1991.","DOI":"10.1016\/0020-0190(91)90122-X"}],"container-title":["Lecture Notes in Computer Science","Correct System Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48092-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T22:23:28Z","timestamp":1556749408000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48092-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666240","9783540480921"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-48092-7_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}