{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T23:03:32Z","timestamp":1784675012164,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540573180","type":"print"},{"value":"9783540480600","type":"electronic"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57318-6_23","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T07:47:40Z","timestamp":1330242460000},"page":"36-59","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":75,"title":["An extended duration calculus for hybrid real-time systems"],"prefix":"10.1007","author":[{"given":"Zhou","family":"Chaochen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anders P.","family":"Ravn","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael R.","family":"Hansen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"issue":"no.5","key":"3_CR1","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/123041.123051","volume":"15","author":"K.M. Hansen","year":"1991","unstructured":"K.M. Hansen, A.P. Ravn, H. Rischel: Specifying and Verifying Requirements of Real-Time Systems, Proceedings of the ACM SIGSOFT '91 Conference on Software for Critical Systems, New Orleans, December 4\u20136, 1991, ACM Software Engineering Notes, vol. 15, no. 5, pp. 44\u201354, 1991.","journal-title":"ACM Software Engineering Notes"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"M.R. Hansen, Zhou Chaochen: Semantics and Completeness of Duration Calculus, in J. W. de Bakker, C. Huizing, W.-P. de Roever and G. Rozenberg (Eds.) Real-Time: Theory in Practice, REX Workshop, pp. 209\u2013225, LNCS 600, 1992.","DOI":"10.1007\/BFb0031994"},{"key":"3_CR3","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 (Eds.) Real-Time: Theory in Practice, REX Workshop, pp. 226\u2013251, LNCS 600, 1992."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"R. Koymans: Specifying Real-Time Properties with Metric Temporal Logic, Real-Time Systems, 2, 4, pp. 255\u2013299, Kluwer Academic Publishers, 1990.","DOI":"10.1007\/BF01995674"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"David G. Luenberger: Introduction to Dynamic Systems. Theory, Models & Applications, Wiley, 1979.","DOI":"10.21236\/ADA080206"},{"key":"3_CR6","unstructured":"O. Maler, Z. Manna and A. Pnueli: From Timed to Hybrid Systems, in J. W. de Bakker, C. Huizing, W.-P. de Roever and G. Rozenberg (Eds.) Real-Time: Theory in Practice, REX Workshop, pp. 447\u2013484, LNCS 600, 1992."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli: The Temporal Logic of Reactive and Concurrent Systems, Springer Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"3_CR8","unstructured":"K. Marzullo: Tolerating Failures of Continuous-Valued Sensors, Technical Rep. TR90-1156, Dept. Comp. Sc. Cornell University, Itacha, NY, USA."},{"issue":"2","key":"3_CR9","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, pp. 10\u201319, 1985.","journal-title":"IEEE Computer"},{"key":"3_CR10","unstructured":"X. Nicollin, J. Sifakis and S. Yovine: From ATP to Timed Graphs and Hybrid Systems, in J. W. de Bakker, C. Huizing, W.-P. de Roever and G. Rozenberg (Eds.) Real-Time: Theory in Practice, REX Workshop, pp. 549\u2013572, LNCS 600, 1992."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"A. Pnueli and E. Harel: Applications of Temporal Logic to the Specification of Real-Time Systems (extended abstract), in M. Joseph (ed.) Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 331, pp. 84\u201398, Springer Verlag, 1988.","DOI":"10.1007\/3-540-50302-1_4"},{"key":"3_CR12","first-page":"147","volume":"2","author":"A.P. Ravn","year":"1991","unstructured":"A.P. Ravn, H. Rischel: Requirements Capture for Embedded Real-Time Systems, Proc. IMACS-MCTS'91 Symp. Modelling and Control of Technological Systems, Vol 2, pp. 147\u2013152, Villeneuve d'Ascq, France, 1991.","journal-title":"Proc. IMACS-MCTS'91 Symp. Modelling and Control of Technological Systems"},{"issue":"No.1","key":"3_CR13","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 Trans. Softw. Eng. Vol. 19, No. 1, Jan. 1993, pp. 41\u201355.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"J. U. Skakkeb\u00e6k, A.P. Ravn, H. Rischel and Zhou Chaochen: Specification of embedded real-time systems, Proc. 4th Euromicro Workshop on Real-Time Systems, IEEE Press, pp 116\u2013121, June 1992.","DOI":"10.1109\/EMWRT.1992.637481"},{"key":"3_CR15","unstructured":"E.V. S\u00f8rensen, A.P. Ravn, H. Rischel: Control Program for a Gas Burner: Part 1: Informal Requirements, ProCoS Case Study 1, ProCoS Rep. ID\/DTH EVS2, March 1990."},{"issue":"5","key":"3_CR16","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Zhou Chaochen, C.A.R. Hoare, A.P. Ravn: A Calculus of Durations, Information Processing Letters, 40, 5, pp. 269\u2013276, 1991.","journal-title":"Information Processing Letters"},{"key":"3_CR17","unstructured":"Zhou Chaochen, Li Xiaoshan: A Mean Value Calculus of Durations, UNI\/IIST Report No. 5, 1993."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57318-6_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,3]],"date-time":"2020-07-03T01:10:16Z","timestamp":1593738616000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57318-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573180","9783540480600"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-57318-6_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"8 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}