{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:55:55Z","timestamp":1766066155278},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584681"},{"type":"electronic","value":"9783540489849"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"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":[[1994]]},"DOI":"10.1007\/3-540-58468-4_161","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:16:08Z","timestamp":1330254968000},"page":"86-109","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Linear duration invariants"],"prefix":"10.1007","author":[{"given":"Zhou","family":"Chaochen","sequence":"first","affiliation":[]},{"given":"Zhang","family":"Jingzhong","sequence":"additional","affiliation":[]},{"given":"Yang","family":"Lu","sequence":"additional","affiliation":[]},{"given":"Li","family":"Xiaoshan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, T. Henzinger, P-H Ho: Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems, in Hybrid Systems, LNCS 736, pp 209\u2013229, R. L. Grossman, A. Nerode, A. P. Ravn and H. Rischel (eds.), Springer-Verlag, 1993","DOI":"10.1007\/3-540-57318-6_30"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"M. Engel, M. Kubica, J. Madey, D.J. Parnas, A.P. Ravn, A.J. van Schouwen: A Formal Approach to Computer Systems Requirements Documentation, in Hybrid Systems, LNCS 736, pp 452\u2013474, R. L. Grossman, A. Nerode, A. P. Ravn and H. Rischel (eds.), Springer-Verlag, 1993","DOI":"10.1007\/3-540-57318-6_40"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Y. Kesten, A. Pnueli, J. Sifakis, S. Yovine: Integration Graphs: A Class of Decidable Hybrid Systems, in Hybrid Systems, LNCS 736, pp 179\u2013208, R. L. Grossman, A. Nerode, A. P. Ravn and H. Rischel (eds.), Springer-Verlag, 1993","DOI":"10.1007\/3-540-57318-6_29"},{"key":"5_CR4","first-page":"3","volume-title":"Automata Studies","author":"S.C. Kleene","year":"1956","unstructured":"S.C. Kleene: Representation of Events in Nerve Nets and Finite Automata, in Automata Studies, pp 3\u201341, C. Shannon and J. McCarthy (eds.), Princeton Univ. Press, Princeton, NJ, 1956"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Z. Manna, A. Pnueli: Verifying Hybrid Systems, in Hybrid Systems, LNCS 736, pp 4\u201335, R. L. Grossman, A. Nerode, A. P. Ravn and H. Rischel (eds.), Springer-Verlag, 1993","DOI":"10.1007\/3-540-57318-6_22"},{"key":"5_CR6","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":"No1","key":"5_CR7","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, K.M. Hansen: Specifying and Verifying Requirements of Real-Time Systems, IEEE Trans. Software Eng., Vol 19, No 1, pp 41\u201355, January 1993","journal-title":"IEEE Trans. Software Eng."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"J.U. Skakkeb\u00c6k, A.P. Ravn, H. Rischel, 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"},{"issue":"5","key":"5_CR9","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 Letter, 40, 5, pp. 269\u2013276, 1991","journal-title":"Information Processing Letter"},{"key":"5_CR10","unstructured":"Zhou Chaochen, Li Xiaoshan: A Mean-Value Duration Calculus, in A Classical Mind, Essays in Honour of C. A. R. Hoare, pp 431\u2013451, A. W. Roscoe (ed.), Prentice Hall International, 1994"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58468-4_161","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:11:22Z","timestamp":1558253482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58468-4_161"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584681","9783540489849"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-58468-4_161","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"8 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}