{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:41:37Z","timestamp":1725860497449},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319415789"},{"type":"electronic","value":"9783319415796"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-41579-6_25","type":"book-chapter","created":{"date-parts":[[2016,6,27]],"date-time":"2016-06-27T02:44:48Z","timestamp":1466995488000},"page":"325-340","source":"Crossref","is-referenced-by-count":0,"title":["Hybrid Lustre"],"prefix":"10.1007","author":[{"given":"Zhenghen","family":"Yuan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tingliang","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"Luo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaohong","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,28]]},"reference":[{"issue":"9","key":"25_CR1","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1109\/5.97299","volume":"79","author":"F Boussinot","year":"1991","unstructured":"Boussinot, F., De Simone, R.: The esterel language. Proc. IEEE 79(9), 1293\u20131304 (1991)","journal-title":"Proc. IEEE"},{"issue":"9","key":"25_CR2","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data flow programming language lustre. Proc. IEEE 79(9), 1305\u20131320 (1991)","journal-title":"Proc. IEEE"},{"issue":"9","key":"25_CR3","doi-asserted-by":"crossref","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P LeGuernic","year":"1991","unstructured":"LeGuernic, P., Gautier, T., Le Borgne, M., Le Maire, C.: Programming real-time applications with signal. Proc. IEEE 79(9), 1321\u20131336 (1991)","journal-title":"Proc. IEEE"},{"issue":"1","key":"25_CR4","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., De Simone, R.: The synchronous languages 12 years later. Proc. IEEE 91(1), 64\u201383 (2003)","journal-title":"Proc. IEEE"},{"key":"25_CR5","volume-title":"Model checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (1999)"},{"key":"25_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4614-1359-2","volume-title":"System-Level Validation: High-Level Modeling and Directed Test Generation Techniques","author":"M Chen","year":"2013","unstructured":"Chen, M., Qin, X., Koo, H., Mishra, P.: System-Level Validation: High-Level Modeling and Directed Test Generation Techniques. Springer, Heidelberg (2013)"},{"issue":"9","key":"25_CR7","doi-asserted-by":"crossref","first-page":"785","DOI":"10.1109\/32.159839","volume":"18","author":"N Halbwachs","year":"1992","unstructured":"Halbwachs, N., Lagnier, F., Ratel, C.: Programming and verifying real-time systems by means of the synchronous data-flow language lustre. IEEE Trans. Softw. Eng. 18(9), 785\u2013793 (1992)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Gu, H., Hang, H., Lv, Q., Grunwald, D.: Fusing text and frienships for location inference in online social networks. In: IEEE\/WIC\/ACM International Conferences on Web Intelligence and Intelligent Agent Technology (WI-IAT), vol. 1, pp. 158\u2013165. IEEE (2012)","DOI":"10.1109\/WI-IAT.2012.243"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Gu, H., Xie, X., Lv, Q., Ruan, Y., Shang, L.: Etree: effective and efficient event modeling for real-time online social media networks. In: 2011 IEEE\/WIC\/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT), vol. 1, pp. 300\u2013307. IEEE (2011)","DOI":"10.1109\/WI-IAT.2011.126"},{"key":"25_CR10","volume-title":"Verification of Digital and Hybrid Systems","author":"TA Henzinger","year":"2000","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Inan, M.K., Kurshan, R.P. (eds.) Verification of Digital and Hybrid Systems. Springer, Heidelberg (2000)"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Bauer, K.: A new modelling language for cyber-physical systems. Ph.D. Dissertation, TU Kaiserslautern (2012)","DOI":"10.1145\/2530544.2530547"},{"key":"25_CR12","unstructured":"Andr\u00e9, C., Mallet, F.: Clock constraints in UML\/marte CCSL (2008)"},{"key":"25_CR13","volume-title":"A Tutorial of Lustre","author":"N Halbwachs","year":"1993","unstructured":"Halbwachs, N., Raymond, P.: A Tutorial of Lustre. IMAG, Grenoble (1993)"},{"key":"25_CR14","volume-title":"System Design, Modeling, and Simulation: Using Ptolemy II","author":"C Ptolemaeus","year":"2014","unstructured":"Ptolemaeus, C.: System Design, Modeling, and Simulation: Using Ptolemy II. Ptolemy. org, Berkeley (2014)"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Bourkey, T., Caillaud, B., Pouzet, M.: A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. In: 2011 Proceedings of the International Conference on Embedded Software (EMSOFT), pp. 137\u2013148. IEEE (2011)","DOI":"10.1145\/2038642.2038664"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Bourke, T., Pouzet, M.: Z\u00e9lus: a synchronous language with odes. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, pp. 113\u2013118. ACM (2013)","DOI":"10.1145\/2461328.2461348"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-41579-6_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,10]],"date-time":"2019-09-10T07:04:55Z","timestamp":1568099095000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-41579-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319415789","9783319415796"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-41579-6_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}