{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T18:19:19Z","timestamp":1759774759190,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,9,27]],"date-time":"2004-09-27T00:00:00Z","timestamp":1096243200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2004,9,27]]},"DOI":"10.1145\/1017753.1017790","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:39:48Z","timestamp":1097170788000},"page":"220-229","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Heterogeneous reactive systems modeling"],"prefix":"10.1145","author":[{"given":"Albert","family":"Benveniste","sequence":"first","affiliation":[{"name":"Irisa\/Inria, Rennes cedex, France"}]},{"given":"Beno\u00eet","family":"Caillaud","sequence":"additional","affiliation":[{"name":"Irisa\/Inria, Rennes cedex, France"}]},{"given":"Luca P.","family":"Carloni","sequence":"additional","affiliation":[{"name":"U.C. Berkeley, Berkeley, CA"}]},{"given":"Paul","family":"Caspi","sequence":"additional","affiliation":[{"name":"Verimag, Gieres, France"}]},{"given":"Alberto L.","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[{"name":"U.C. Berkeley, Berkeley, CA"}]}],"member":"320","published-online":{"date-parts":[[2004,9,27]]},"reference":[{"issue":"1","key":"e_1_3_2_1_1_1","first-page":"11","volume":"91","author":"Alur R.","year":"2003","unstructured":"R. Alur , T. Dang , J. Esposito , Y. Hur , F. Ivancic , V. Kumar , I. Lee , P. Mishra , G. J. Pappas and O. Sokolsky . Hierarchical Modeling and Analysis of Embedded Systems. Proc. of the IEEE , 91 ( 1 ), 11 -- 28 , Jan. 2003 .]] R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. J. Pappas and O. Sokolsky. Hierarchical Modeling and Analysis of Embedded Systems. Proc. of the IEEE, 91(1), 11--28, Jan. 2003.]]","journal-title":"Hierarchical Modeling and Analysis of Embedded Systems. Proc. of the IEEE"},{"key":"e_1_3_2_1_2_1","volume-title":"CONCUR'99","author":"Benveniste A.","year":"1999","unstructured":"A. Benveniste , B. Caillaud , and P. Le Guernic . From synchrony to asynchrony. In J.C.M. Baeten and S. Mauw, Eds ., CONCUR'99 , Concurrency Theory, 10th Intl. Conference, LNCS 1664, pages 162--177. Springer , 1999 .]] A. Benveniste, B. Caillaud, and P. Le Guernic. From synchrony to asynchrony. In J.C.M. Baeten and S. Mauw, Eds., CONCUR'99, Concurrency Theory, 10th Intl. Conference, LNCS 1664, pages 162--177. Springer, 1999.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.9999"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376804.1376811"},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. of the 3rd. Intl. Conf. on Embedded Software, EMSOFT'03","author":"Benveniste A.","year":"2003","unstructured":"A. Benveniste , L. P. Carloni , P. Caspi , and A. L. Sangiovanni-Vincentelli . Heterogeneous reactive systems modeling and correct-by-construction deployment. In R. Alur and I. Lee, Eds ., Proc. of the 3rd. Intl. Conf. on Embedded Software, EMSOFT'03 , LNCS 2855, Springer , 2003 .]] A. Benveniste, L. P. Carloni, P. Caspi, and A. L. Sangiovanni-Vincentelli. Heterogeneous reactive systems modeling and correct-by-construction deployment. In R. Alur and I. Lee, Eds., Proc. of the 3rd. Intl. Conf. on Embedded Software, EMSOFT'03, LNCS 2855, Springer, 2003.]]"},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. of the 2nd Intl. Workshop, EMSOFT 2002","volume":"2491","author":"Benveniste A.","year":"2002","unstructured":"A. Benveniste , P. Caspi , P. Le Guernic , H. Marchand , J-P. Talpin and S. Tripakis . A Protocol for Loosely Time-Triggered Architectures. In A. Sangiovanni-Vincentelli and J. Sifakis Eds ., Proc. of the 2nd Intl. Workshop, EMSOFT 2002 , LNCS vol. 2491 , 252--265, Springer , 2002 .]] A. Benveniste, P. Caspi, P. Le Guernic, H. Marchand, J-P. Talpin and S. Tripakis. A Protocol for Loosely Time-Triggered Architectures. In A. Sangiovanni-Vincentelli and J. Sifakis Eds., Proc. of the 2nd Intl. Workshop, EMSOFT 2002, LNCS vol. 2491, 252--265, Springer, 2002.]]"},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. of the 2nd Intl. Workshop, EMSOFT'02","volume":"2491","author":"Buttazzo G.","year":"2002","unstructured":"G. Buttazzo . Scalable Applications for Energy-Aware Processors. In A. Sangiovanni-Vincentelli and J. Sifakis Eds ., Proc. of the 2nd Intl. Workshop, EMSOFT'02 , LNCS vol. 2491 , 153-165, Springer , 2002 .]] G. Buttazzo. Scalable Applications for Energy-Aware Processors. In A. Sangiovanni-Vincentelli and J. Sifakis Eds., Proc. of the 2nd Intl. Workshop, EMSOFT'02, LNCS vol. 2491, 153-165, Springer, 2002.]]"},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. of 1st Int. Workshop on Embedded Software, EMSOFT'01","author":"Caspi P.","year":"2001","unstructured":"P. Caspi . Embedded control: from asynchrony to synchrony and back. In T.A. Henzinger and C.M. Kirsch Eds ., Proc. of 1st Int. Workshop on Embedded Software, EMSOFT'01 , LNCS 2211, 80--96, Springer , 2001 .]] P. Caspi. Embedded control: from asynchrony to synchrony and back. In T.A. Henzinger and C.M. Kirsch Eds., Proc. of 1st Int. Workshop on Embedded Software, EMSOFT'01, LNCS 2211, 80--96, Springer, 2001.]]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. of 1st Int. Workshop on Embedded Software, EMSOFT'01","author":"de Alfaro L.","year":"2001","unstructured":"L. de Alfaro and T.A. Henzinger . Interface Theories for Component-Based Design. In T.A. Henzinger and C.M. Kirsch Eds ., Proc. of 1st Int. Workshop on Embedded Software, EMSOFT'01 , LNCS 2211, Springer , 2001 .]] L. de Alfaro and T.A. Henzinger. Interface Theories for Component-Based Design. In T.A. Henzinger and C.M. Kirsch Eds., Proc. of 1st Int. Workshop on Embedded Software, EMSOFT'01, LNCS 2211, Springer, 2001.]]"},{"key":"e_1_3_2_1_11_1","volume-title":"the categorical analysis of logic. Studies in logic and the foundations of mathematics","author":"Goldblatt R.","year":"1984","unstructured":"R. Goldblatt .phTopoi , the categorical analysis of logic. Studies in logic and the foundations of mathematics , Vol. 98 , North-Holland , 1984 .]] R. Goldblatt.phTopoi, the categorical analysis of logic. Studies in logic and the foundations of mathematics, Vol. 98, North-Holland, 1984.]]"},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. of 1st Int. Workshop on Embedded Software, EMSOFT'01","author":"Lee E.A.","year":"2001","unstructured":"E.A. Lee and Y. Xiong . System-Level Types for Component-Based Design. In T.A. Henzinger and C.M. Kirsch Eds ., Proc. of 1st Int. Workshop on Embedded Software, EMSOFT'01 , LNCS 2211, Springer , 2001 .]] E.A. Lee and Y. Xiong. System-Level Types for Component-Based Design. In T.A. Henzinger and C.M. Kirsch Eds., Proc. of 1st Int. Workshop on Embedded Software, EMSOFT'01, LNCS 2211, Springer, 2001.]]"},{"issue":"1","key":"e_1_3_2_1_13_1","first-page":"127","volume":"91","author":"Karsai G.","year":"2003","unstructured":"G. Karsai , J. Sztipanovits , A. Ledeczi , and T. Bapty . Model-Integrated Development of Embedded Software. Proc. of the IEEE , 91 ( 1 ), 127 -- 144 , Jan. 2003 .]] G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Model-Integrated Development of Embedded Software. Proc. of the IEEE, 91(1), 127--144, Jan. 2003.]]","journal-title":"Model-Integrated Development of Embedded Software. Proc. of the IEEE"},{"key":"e_1_3_2_1_14_1","volume-title":"Design Principles for Distributed Embedded Applications","author":"Kopetz H.","year":"1997","unstructured":"H. Kopetz . Real-Time Systems : Design Principles for Distributed Embedded Applications . Kluwer Academic Publishers . 1997 . ISBN 0-7923-9894-7.]] H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers. 1997. ISBN 0-7923-9894-7.]]"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"e_1_3_2_1_16_1","volume-title":"Concurrency in Synchronous Systems. InphProc. of the 4th Int. Conf. on Applications of Concurrency in System Design (ACSD)","author":"Potop-Butucaru D.","year":"2004","unstructured":"D. Potop-Butucaru , B. Caillaud and A. Benveniste . Concurrency in Synchronous Systems. InphProc. of the 4th Int. Conf. on Applications of Concurrency in System Design (ACSD) , Hamilton, Canada , June 2004 .]] D. Potop-Butucaru, B. Caillaud and A. Benveniste. Concurrency in Synchronous Systems. InphProc. of the 4th Int. Conf. on Applications of Concurrency in System Design (ACSD), Hamilton, Canada, June 2004.]]"}],"event":{"name":"EMSOFT04: Fourth ACM International Conference on Embedded Software 2004","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Pisa Italy","acronym":"EMSOFT04"},"container-title":["Proceedings of the 4th ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1017753.1017790","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1017753.1017790","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:36:46Z","timestamp":1750282606000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1017753.1017790"}},"subtitle":["capturing causality and the correctness of loosely time-triggered architectures (LTTA)"],"short-title":[],"issued":{"date-parts":[[2004,9,27]]},"references-count":16,"alternative-id":["10.1145\/1017753.1017790","10.1145\/1017753"],"URL":"https:\/\/doi.org\/10.1145\/1017753.1017790","relation":{},"subject":[],"published":{"date-parts":[[2004,9,27]]},"assertion":[{"value":"2004-09-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}