{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T22:24:20Z","timestamp":1648592660862},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. of Compt. Sci. & Technol."],"published-print":{"date-parts":[[1996,1]]},"DOI":"10.1007\/bf02943525","type":"journal-article","created":{"date-parts":[[2008,9,4]],"date-time":"2008-09-04T12:28:00Z","timestamp":1220531280000},"page":"90-96","source":"Crossref","is-referenced-by-count":0,"title":["Hybridity in embedded computing systems"],"prefix":"10.1007","volume":"11","author":[{"given":"Huiqun","family":"Yu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongqiang","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02943525_CR1","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1007\/BF01191722","volume":"30","author":"Z Manna","year":"1993","unstructured":"Manna Z, Pnueli A. Models for reactivity.Acta Informatica, 1993, 30: 609\u2013678.","journal-title":"Acta Informatica"},{"key":"BF02943525_CR2","doi-asserted-by":"crossref","unstructured":"Hooman J. A compositional approach to the design of hybrid systems. InHybrid Systems, LNCS 736, Grossman R L, Nerode A, Ravn A P, Rischel H (eds.), Springer-Verlag, 1993, 121\u2013148.","DOI":"10.1007\/3-540-57318-6_27"},{"key":"BF02943525_CR3","doi-asserted-by":"crossref","unstructured":"Lamport L. Hybrid systems in TLA+. InHybrid Systems, LNCS 736, Grossman R L, Nerode A, Ravn A P, Rischel H (eds.), Springer-Verlag, 1993, pp.77\u2013102.","DOI":"10.1007\/3-540-57318-6_25"},{"key":"BF02943525_CR4","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, Ravn A P, Hansen M R. An extended duration calculus for hybrid real-time systems. InHybrid Systems, LNCS 736, Grossman R L, Nerode A, Ravn A P, Rischel H (eds.), Springer-Verlag, 1993, pp.36\u201359.","DOI":"10.1007\/3-540-57318-6_23"},{"issue":"5","key":"BF02943525_CR5","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Chaochen Zhou","year":"1991","unstructured":"Zhou Chaochen, Hoare C A R, Ravn A P. A calculus of durations.Information Processing Letters, 1991, 40(5): 269\u2013276.","journal-title":"Information Processing Letters"},{"issue":"2","key":"BF02943525_CR6","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B Moszkowski","year":"1985","unstructured":"Moszkowski B. A temporal logic for multi-level reasoning about hardware.IEEE Computer, 1985, 18(2): 10\u201319.","journal-title":"IEEE Computer"},{"key":"BF02943525_CR7","unstructured":"Ron Koymans. (Real) time: A philosophical perspective. InReal-time: Theory in Practice, LNCS 600, Proc. of REX Workshop, de Bakker J W, Huizing C, de Roever W P, Rozenberg G (eds.), 1992, Mook, The Netherlands, 1992, pp. 353\u2013370."},{"key":"BF02943525_CR8","unstructured":"Li Xiaoshan. A Mean Value Calculus. Ph.D. thesis, Institute of Software, The Chinese Academy of Sciences, September 1993."},{"key":"BF02943525_CR9","doi-asserted-by":"crossref","unstructured":"Yu Huiqun, Pandya P K, Sun Yongqiang. A calculus for hybrid, sampled data systems. InFormal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, Langmaack H, de Rover W-P, Vytopil J (eds.), Springer Verlag, 1994, pp.716\u2013737.","DOI":"10.1007\/3-540-58468-4_192"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943525.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02943525\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943525","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T16:16:21Z","timestamp":1558455381000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02943525"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["BF02943525"],"URL":"https:\/\/doi.org\/10.1007\/bf02943525","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}