{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:52:16Z","timestamp":1725511936219},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540712084"},{"type":"electronic","value":"9783540712091"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71209-1_16","type":"book-chapter","created":{"date-parts":[[2007,7,4]],"date-time":"2007-07-04T22:56:34Z","timestamp":1183589794000},"page":"185-200","source":"Crossref","is-referenced-by-count":19,"title":["Adaptor Synthesis for Real-Time Components"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Tivoli","sequence":"first","affiliation":[]},{"given":"Pascal","family":"Fradet","sequence":"additional","affiliation":[]},{"given":"Alain","family":"Girault","sequence":"additional","affiliation":[]},{"given":"Gregor","family":"Goessler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Ribet, P., Vernadat, F.: Construction of abstract state spaces for Petri nets and time Petri nets. International Journal of Production Research, 42(14) (2004), TINA web page http:\/\/www.laas.fr\/tina\/","DOI":"10.1080\/00207540412331312688"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Boehm, B., Abts, C.: COTS integration: Plug and pray? IEEE Computer\u00a032(1) (1999)","DOI":"10.1109\/2.738311"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11768869_5","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"P. Poizat","year":"2006","unstructured":"Poizat, P., Canal, C., Sala\u00fcn, G.: Synchronizing Behavioural Mismatch in Software Composition. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 63\u201377. Springer, Heidelberg (2006)"},{"key":"16_CR4","unstructured":"Cioffi, M., Corradini, F.: Specification and analysis of timed and functional TRMCS behaviors. In: Proc. of the 10th IWSSD (2000)"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Cohen, A., et al.: Synchronization of periodic clocks. In: Proc. of the 5th EMSOFT (2005)","DOI":"10.1145\/1086228.1086289"},{"issue":"10","key":"16_CR6","doi-asserted-by":"publisher","first-page":"1492","DOI":"10.1109\/TCAD.2005.852038","volume":"24","author":"J. Cortadella","year":"2005","unstructured":"Cortadella, J., et al.: Quasi-static scheduling of independant tasks for reactive systems. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems\u00a024(10), 1492\u20131514 (2005)","journal-title":"IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"16_CR7","first-page":"109","volume-title":"Annual Symposium on Foundations of Software Engineering, FSE\u201901","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.: Interface automata. In: Annual Symposium on Foundations of Software Engineering, FSE\u201901, pp. 109\u2013120. ACM Press, New York (2001)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Advances in Petri Nets 1993","author":"A. Finkel","year":"1993","unstructured":"Finkel, A.: The minimal coverability graph for Petri nets. In: Rozenberg, G. (ed.) APN 1993. LNCS, vol.\u00a0674, Springer, Heidelberg (1993)"},{"key":"16_CR9","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An overview of CADP 2001. EASST Newsletter 4 (2002), http:\/\/www.inrialpes.fr\/vasy\/cadp"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch: Why reuse is so hard. IEEE Software\u00a012(6) (1995)","DOI":"10.1109\/52.469757"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Yankelevich, D., Wolf, A.: Static checking of system behaviors using derived component assumptions. ACM TOSEM\u00a09(3) (2000)","DOI":"10.1145\/352591.352593"},{"key":"16_CR12","unstructured":"Kaveh, N., Emmerich, W.: Object system. In: 8th FSE\/ESEC (2001)"},{"key":"16_CR13","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077(4) (1989)","DOI":"10.1109\/5.24143"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Passerone, R., et al.: Convertibility verification and converter synthesis: Two faces of the same coin. In: ICCAD (2002)","DOI":"10.1145\/774572.774592"},{"key":"16_CR16","unstructured":"Petri, C.: Kommunikation mit Automaten. PhD thesis, University of Bonn (1962)"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Ramadge, P., Wonham, W.: The control of discrete event systems. Proceedings of the IEEE\u00a01(77) (1989)","DOI":"10.1109\/5.21072"},{"key":"16_CR18","volume-title":"Component Software. Beyond Object Oriented Programming","author":"C. Szyperski","year":"1998","unstructured":"Szyperski, C.: Component Software. Beyond Object Oriented Programming. Addison-Wesley, Reading (1998)"},{"key":"16_CR19","unstructured":"Tivoli, M., et al.: Adaptor synthesis for real-time components. Research report, INRIA, to appear (2007)"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71209-1_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:16:40Z","timestamp":1605763000000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71209-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540712084","9783540712091"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71209-1_16","relation":{},"subject":[]}}