{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:46:31Z","timestamp":1725497191211},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540654933"},{"type":"electronic","value":"9783540492139"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49213-5_18","type":"book-chapter","created":{"date-parts":[[2007,12,9]],"date-time":"2007-12-09T12:03:39Z","timestamp":1197201819000},"page":"465-489","source":"Crossref","is-referenced-by-count":7,"title":["Decomposing Real-Time Specifications"],"prefix":"10.1007","author":[{"given":"Ernst-R\u00fcdiger","family":"Olderog","sequence":"first","affiliation":[]},{"given":"Henning","family":"Dierks","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,5,21]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur, D. Dill. A theory of timed automata. Theoret. Comput. Sci. 126, 1994, 283\u2013235","journal-title":"Theoret. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"J. Davies. Specification and Proof in Real-Time GSP. Cambridge University Press, 1993.","key":"18_CR2","DOI":"10.1017\/CBO9780511569760"},{"unstructured":"S. Dick, J. Peleska. A structural decomposition theorem for real-time CSP. Tech. Report, Univ. Bremen, in preparation, 1998.","key":"18_CR3"},{"key":"18_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/3-540-61648-9_42","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT\u201996)","author":"H. Dierks","year":"1996","unstructured":"H. Dierks. The production cell: A verified real-time system. In: B. Jonsson and J. Parrow Eds., Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT\u201996), LNCS 1135 (Springer-Verlag, 1996) 208\u2013227."},{"key":"18_CR5","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","author":"H. Dierks","year":"1997","unstructured":"H. Dierks. PLC-automata: a new class of implementable real-time automata. In: M. Bertran and T. Rus Eds., Transformation-Based Reactive Systems Development. LNCS 1231 (Springer-Verlag, 1997) 111\u2013125."},{"doi-asserted-by":"crossref","unstructured":"H. Dierks. Synthesising controllers from real-time specifications. In: Tenth International Symposium on System Synthesis (IEEE CS Press, September 1997) 126\u2013133.","key":"18_CR6","DOI":"10.1109\/ISSS.1997.621685"},{"unstructured":"K. Engelhardt, W.-P. de Roever, Data Refinement (Book draft, 1997).","key":"18_CR7"},{"key":"18_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems","year":"1993","unstructured":"R.L. Grossman, A. Nerode, A.P. Ravn, H. Rischel Eds.. Hybrid Systems. LNCS 736 (Springer-Verlag, 1993)"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/BF01211086","volume":"9","author":"M.R. Hansen","year":"1997","unstructured":"M.R. Hansen, Zhou Chaochen, Duration Calculus: Logical Foundations. Formal Aspects of Computing 9 (1997) 283\u2013330.","journal-title":"Formal Aspects of Computing"},{"key":"18_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/3-540-58468-4_171","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"J. He","year":"1994","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: W.-P. de Roever, J. Vytopil Eds.. Formal Techniques in Real-Time and Fault-Tolerant Systems. LNCS 863 (Springer-Verlag, 1994) [16] 288\u2013335."},{"unstructured":"C. Heitmeyer and D. Mandrioli Eds., Formal Methods for Real-Time Computing. Trends in Software, Vol.5, Wiley, 1996).","key":"18_CR11"},{"doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, Communicating Sequential Processes (Prentice Hall, 1985).","key":"18_CR12","DOI":"10.1007\/978-3-642-82921-5_4"},{"unstructured":"INMOS Ltd., OCCam 2 Reference Manual (Prentice Hall, 1988).","key":"18_CR13"},{"unstructured":"M. Joseph Ed.. Real-time Systems \u2014 Specification, Verification and Analysis (prentice Hall, 1996).","key":"18_CR14"},{"key":"18_CR15","first-page":"357","volume-title":"Statusseminar des BMBF Softwaretechnologie","author":"B. Krieg-Br\u00fcckner","year":"1996","unstructured":"B. Krieg-Br\u00fcckner, J. Peleska, E.-R. Olderog, D. Balzer, A. Baer. UniForM \u2014 Universal Formal Methods Workbench. In: U. Grote and G. Wolf Eds., Statusseminar des BMBF Softwaretechnologie (BMBF, Berlin, 1996) 357\u2013377."},{"key":"18_CR16","series-title":"Lect Notes Comput Sci","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","year":"1994","unstructured":"H. Langmaack, W.-P. de Roever, J. Vytopil Eds.. Formal Techniques in Real-Time and Fault-Tolerant Systems. LNCS 863 (Springer-Verlag, 1994)."},{"unstructured":"K.G. Larsen, B. Steffen, C. Weise. Countinuous modeling of real time and hybrid systems: from concepts to tools. To appear in Software Tools for Technology Transfer (STTT, Springer-Verlag).","key":"18_CR17"},{"key":"18_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-58867-1","volume-title":"Formal Development of Reactive Systems: Case Study Production Cell","author":"C. Lewerentz","year":"1995","unstructured":"C. Lewerentz, T. Lindner. Formal Development of Reactive Systems: Case Study Production Cell. LNCS 891 (Springer-Verlag, 1995)."},{"unstructured":"E.-R. Olderog, A.P. Ravn, J.U. Skakkeb\u00e6k. Refining system requirements to program specifications. In: D. Mandrioli Eds., Trends in Software, Vol.5, Wiley, 1996) [11] 107\u2013134.","key":"18_CR19"},{"issue":"1","key":"18_CR20","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, K.M. Hansen. Specifying and verifying requirements of real-time systems. IEEE Transactions on Software Engineering, vol. 19,1 (1993) 41\u201355.","journal-title":"IEEE Transactions on Software Engineering"},{"unstructured":"A.P. Ravn. Design of Embedded Real-Time Computing Systems. Thesis for the Doctor of Technics. Technical Report ID-TR: 1995-170, Technical University of Denmark, 1995.","key":"18_CR21"},{"unstructured":"M. Schenke, E.-R. Olderog, Transformational design of real-time systems-part I: from requirements to program specifications. iTo appear in Acta Inform.","key":"18_CR22"},{"unstructured":"M. Schenke. Development of Correct Real-Time Systems by Refinement. Habilitation thesis, Univ. Oldenburg, 1997.","key":"18_CR23"},{"doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, C.A.R. Hoare, A.P. Ravn. A calculus of durations. Information Processing Letters 40\/5 1991, 269\u2013276.","key":"18_CR24","DOI":"10.1016\/0020-0190(91)90122-X"}],"container-title":["Lecture Notes in Computer Science","Compositionality: The Significant Difference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49213-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,15]],"date-time":"2023-05-15T06:39:56Z","timestamp":1684132796000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49213-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654933","9783540492139"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-49213-5_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}