{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T14:21:52Z","timestamp":1742998912592,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540229421"},{"type":"electronic","value":"9783540301011"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-30101-1_1","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T14:05:42Z","timestamp":1267106742000},"page":"1-16","source":"Crossref","is-referenced-by-count":2,"title":["Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling"],"prefix":"10.1007","author":[{"given":"Albert","family":"Benveniste","sequence":"first","affiliation":[]},{"given":"Beno\u00eet","family":"Caillaud","sequence":"additional","affiliation":[]},{"given":"Luca P.","family":"Carloni","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Caspi","sequence":"additional","affiliation":[]},{"given":"Alberto L.","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"1_CR1","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/JPROC.2002.805817","volume":"91","author":"R. Alur","year":"2003","unstructured":"Alur, R., Dang, T., Esposito, J., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G.J., Sokolsky, O.: Hierarchical Modeling and Analysis of Embedded Systems. Proc. of the IEEE\u00a091(1), 11\u201328 (2003)","journal-title":"Proc. of the IEEE"},{"issue":"2","key":"1_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A Theory of Timed Automata. Theor. Comp. Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theor. Comp. Science"},{"key":"1_CR3","unstructured":"ARTIST Network of Excellence. Roadmap on Hard Real-Time Development Environments. Available in May (2003), from \n                  \n                    http:\/\/www.systemescritiques.org\/ARTIST\/"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/3-540-45449-7_3","volume-title":"Embedded Software","author":"A. Benveniste","year":"2001","unstructured":"Benveniste, A.: Some synchronization issues when designing embedded systems from components. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 32\u201349. Springer, Heidelberg (2001)"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/3-540-48320-9_13","volume-title":"CONCUR\u201999. Concurrency Theory","author":"A. Benveniste","year":"1999","unstructured":"Benveniste, A., Caillaud, B., Le Guernic, P.: From synchrony to asynchrony. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 162\u2013177. Springer, Heidelberg (1999)"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1006\/inco.2000.9999","volume":"163","author":"A. Benveniste","year":"2000","unstructured":"Benveniste, A., Caillaud, B., Le Guernic, P.: Compositionality in dataflow synchronous languages: specification & distributed code generation. Information and Computation\u00a0163, 125\u2013171 (2000)","journal-title":"Information and Computation"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-540-45212-6_4","volume-title":"Embedded Software","author":"A. Benveniste","year":"2003","unstructured":"Benveniste, A., Carloni, L.P., Caspi, P., Sangiovanni-Vincentelli, A.L.: Heterogeneous reactive systems modeling and correct-by-construction deployment. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, pp. 35\u201350. Springer, Heidelberg (2003)"},{"issue":"1","key":"1_CR8","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A. Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The Synchronous Language Twelve Years Later. Proc. of the IEEE\u00a091(1), 64\u201383 (2003)","journal-title":"Proc. of the IEEE"},{"key":"1_CR9","volume-title":"The Foundations of Esterel","author":"G. Berry","year":"2000","unstructured":"Berry, G.: The Foundations of Esterel. MIT Press, Cambridge (2000)"},{"issue":"9","key":"1_CR10","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1109\/43.945302","volume":"20","author":"L.P. Carloni","year":"2001","unstructured":"Carloni, L.P., McMillan, K.L., Sangiovanni-Vincentelli, A.L.: Theory of Latency-Insensitive Design. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a020(9), 1059\u20131076 (2001)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(92)90326-B","volume":"94","author":"P. Caspi","year":"1992","unstructured":"Caspi, P.: Clocks in Dataflow languages. Theor. Comp. Science\u00a094, 125\u2013140 (1992)","journal-title":"Theor. Comp. Science"},{"key":"1_CR12","unstructured":"Cortadella, J., Kondratyev, A., Lavagno, L., Sotiriou, C.: A concurrent model for de-synchronization. In: Proc. Intl. Workshop on Logic Synthesis (May 2003)"},{"issue":"1","key":"1_CR13","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J. Eker","year":"2003","unstructured":"Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Ludwig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity\u2014The Ptolemy approach. Proc. of the IEEE\u00a091(1), 127\u2013144 (2003)","journal-title":"Proc. of the IEEE"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume-title":"Embedded Software","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface Theories for Component-Based Design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, p. 148. Springer, Heidelberg (2001)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/3-540-45449-7_16","volume-title":"Embedded Software","author":"E.A. Lee","year":"2001","unstructured":"Lee, E.A., Xiong, Y.: System-Level Types for Component-Based Design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 32\u201349. Springer, Heidelberg (2001)"},{"issue":"1","key":"1_CR16","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805824","volume":"91","author":"G. Karsai","year":"2003","unstructured":"Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-Integrated Development of Embedded Software. Proc. of the IEEE\u00a091(1), 127\u2013144 (2003)","journal-title":"Proc. of the IEEE"},{"issue":"9","key":"1_CR17","doi-asserted-by":"publisher","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. of the IEEE\u00a079(9), 1305\u20131320 (1991)","journal-title":"Proc. of the IEEE"},{"issue":"3","key":"1_CR18","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08(3), 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"1_CR19","volume-title":"Real-Time Systems: Design Principles for Distributed Embedded Applications","author":"H. Kopetz","year":"1997","unstructured":"Kopetz, H.: Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997) ISBN 0-7923-9894-7"},{"issue":"9","key":"1_CR20","first-page":"1326","volume":"79","author":"P. Guernic Le","year":"1991","unstructured":"Le Guernic, P., Gautier, T., Le Borgne, M., Le Maire, C.: Programming real-time applications with SIGNAL. Proc. of the IEEE\u00a079(9), 1326\u20131333 (1991)","journal-title":"Proc. of the IEEE"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Le Guernic, P., Talpin, J.-P., Le Lann, J.-C.: Polychrony for system design. Journal for Circuits, Systems and Computers (April 2003)","DOI":"10.1142\/S0218126603000763"},{"issue":"12","key":"1_CR22","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E.A. Lee","year":"1998","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.: A Framework for Comparing Models of Computation. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems\u00a017(12), 1217\u20131229 (1998)","journal-title":"IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"1_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0741-5","volume-title":"Engineering Applications of MATLAB 5.3 and SIMULINK 3","author":"M. Mokhtari","year":"2000","unstructured":"Mokhtari, M., Marie, M.: Engineering Applications of MATLAB 5.3 and SIMULINK 3. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30101-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:45:44Z","timestamp":1558273544000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30101-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229421","9783540301011"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30101-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}