{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:22:03Z","timestamp":1725492123982},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540443070"},{"type":"electronic","value":"9783540458289"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"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":[[2002]]},"DOI":"10.1007\/3-540-45828-x_8","type":"book-chapter","created":{"date-parts":[[2007,9,21]],"date-time":"2007-09-21T13:59:11Z","timestamp":1190383151000},"page":"93-107","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Compositional Modeling in Metropolis"],"prefix":"10.1007","author":[{"given":"Gregor","family":"G\u00f6ssler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"issue":"1\/2","key":"8_CR1","first-page":"55","volume":"23","author":"K. Altisen","year":"2002","unstructured":"K. Altisen, G. G\u00f6ssler, and J. Sifakis. Scheduler modeling based on the controller synthesis paradigm. Journal of Real-Time Systems, special issue on \u201ccontrol-theoretical approaches to real-time computing\u201d, 23(1\/2):55\u201384, 2002.","journal-title":"Journal of Real-Time Systems, special issue on \u201ccontrol-theoretical approaches to real-time computing\u201d"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"8_CR3","doi-asserted-by":"crossref","first-page":"127","DOI":"10.3233\/FI-1986-9202","volume":"IX","author":"J. Baeten","year":"1986","unstructured":"J. Baeten, J. Bergstra, and J. Klop. Syntax and defining equations for an interrupt mechanism in process algebra. Fundamenta Informaticae, IX(2):127\u2013168, 1986.","journal-title":"Fundamenta Informaticae"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"F. Balarin, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, Y. Watanabe, and G. Yang. Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model. In Proc. CODES\u201902, 2002.","DOI":"10.1145\/774789.774793"},{"key":"8_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/3-540-46419-0_9","volume-title":"Proc. TACAS\u201900","author":"S. Bornot","year":"2000","unstructured":"S. Bornot, G. G\u00f6ssler, and J. Sifakis. On the construction of live timed systems. In S. Graf and M. Schwartzbach, editors, Proc. TACAS\u201900, volume 1785 of LNCS, pages 109\u2013126. Springer-Verlag, 2000."},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1006\/inco.2000.2999","volume":"163","author":"S. Bornot","year":"2000","unstructured":"S. Bornot and J. Sifakis. An algebraic framework for urgency. Information and Computation, 163:172\u2013202, 2000.","journal-title":"Information and Computation"},{"key":"8_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1007\/10722167_41","volume-title":"Proc. CAV\u201900","author":"M. Bozga","year":"2000","unstructured":"M. Bozga, J.-C. Fernandez, L. Ghirvu, S. Graf, J.-P. Krimm, and L. Mounier. IF: A validation environment for timed asynchronous systems. In E. Emerson and A. Sistla, editors, Proc. CAV\u201900, volume 1855 of LNCS, pages 543\u2013547. Springer-Verlag, 2000."},{"key":"8_CR8","unstructured":"J. Burch, R. Passerone, and A. Sangiovanni-Vincentelli. Overcoming heterophobia: Modeling concurrency in heterogeneous systems. In Proc. 2nd International Conference on Application of Concurrency to System Design, 2001."},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1006\/inco.1995.1003","volume":"116","author":"J. Camilleri","year":"1995","unstructured":"J. Camilleri and G. Winskel. CCS with priority choice. Information and Computation, 116(1):26\u201337, 1995.","journal-title":"Information and Computation"},{"key":"8_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/3-540-45449-7_9","volume-title":"Proc. EMSOFT\u201901","author":"D. Culler","year":"2001","unstructured":"D. Culler, J. Hill, P. Buonadonna, R. Szewczyk, and A. Woo. A network-centric approach to embedded software for tiny devices. In T. Henzinger and C. M. Kirsch, editors, Proc. EMSOFT\u201901, volume 2211 of LNCS, pages 114\u2013130. Springer-Verlag, 2001."},{"key":"8_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume-title":"Proc. EMSOFT\u201901","author":"L. Alfaro de","year":"2001","unstructured":"L. de Alfaro and T. Henzinger. Interface theories for component-based design. In T. Henzinger and C. M. Kirsch, editors, Proc. EMSOFT\u201901, volume 2211 of LNCS, pages 148\u2013165. Springer-Verlag, 2001."},{"key":"8_CR12","series-title":"PhD thesis","volume-title":"Compositional Modelling of Real-Time Systems \u2014 Theory and Practice","author":"G. G\u00f6ssler","year":"2001","unstructured":"G. G\u00f6ssler. Compositional Modelling of Real-Time Systems \u2014 Theory and Practice. PhD thesis, Universit\u00e9 Joseph Fourier, Grenoble, France, 2001."},{"key":"8_CR13","unstructured":"G. G\u00f6ssler. Prometheus\u2014 a compositional modeling tool for real-time systems. In P. Pettersson and S. Yovine, editors, Proc. Workshop RT-TOOLS\u201901. Technical report 2001-014, Uppsala University, Department of Information Technology, 2001."},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1145\/69624.357207","volume":"5","author":"L. Lamport","year":"1983","unstructured":"L. Lamport. Specifying concurrent program modules. ACM Trans. on Programming Languages and Systems, 5:190\u2013222, 1983.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM, 20(1), 1973.","DOI":"10.1145\/321738.321743"},{"key":"8_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","volume-title":"STACS\u201995","author":"O. Maler","year":"1995","unstructured":"O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In E. Mayr and C. Puech, editors, STACS\u201995, volume 900 of LNCS, pages 229\u2013242. Springer-Verlag, 1995."},{"issue":"9","key":"8_CR17","doi-asserted-by":"publisher","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L. Sha","year":"1990","unstructured":"L. Sha, R. Rajkumar, and J. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on Computers, 39(9):1175\u20131185, 1990.","journal-title":"IEEE Transactions on Computers"}],"container-title":["Lecture Notes in Computer Science","Embedded Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45828-X_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,24]],"date-time":"2021-08-24T03:20:30Z","timestamp":1629775230000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45828-X_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443070","9783540458289"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45828-x_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"24 October 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}