{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T10:05:08Z","timestamp":1781172308209,"version":"3.54.1"},"publisher-location":"New York, NY","reference-count":27,"publisher":"Springer New York","isbn-type":[{"value":"9781461438786","type":"print"},{"value":"9781461438793","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-1-4614-3879-3_8","type":"book-chapter","created":{"date-parts":[[2013,7,18]],"date-time":"2013-07-18T12:35:31Z","timestamp":1374150931000},"page":"139-154","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Contract-Based Reasoning for Component Systems with Rich Interactions"],"prefix":"10.1007","author":[{"given":"Susanne","family":"Graf","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roberto","family":"Passerone","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sophie","family":"Quinton","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,7,19]]},"reference":[{"issue":"3","key":"8_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.3166\/ejc.18.217-238","volume":"18","author":"A Sangiovanni-Vincentelli","year":"2012","unstructured":"Sangiovanni-Vincentelli, A., Damm, W., Passerone, R.: Taming Dr. Frankenstein: Contract-based design for cyber-physical systems. J. Control 18(3), 217\u2013238 (2012). doi:10.3166\/EJC.18.217-238","journal-title":"J. Control"},{"key":"8_CR2","unstructured":"Damm, W.: Controlling speculative design processes using rich component models. In: Proceedings of ACSD\u201905, pp. 118\u2013119. IEEE Computer Society (2005)"},{"key":"8_CR3","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: Proceedings of SEFM\u201906, pp. 3\u201312. IEEE Computer Society (2006)"},{"key":"8_CR4","doi-asserted-by":"publisher","unstructured":"Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple viewpoint contract-based specification and design. In: F.S. de Boer, M.M. Bonsangue, S. Graf, Willem-Paul de Roever (eds.) Formal Methods for Components and Objects, 6th International Symposium (FMCO 2007), Amsterdam, The Netherlands, October 24\u201326, 2007, Revised Papers, Lecture Notes in Computer Science, vol. 5382, pp. 200\u2013225. Springer (2008). 10.1007\/978-3-540-92188-2","DOI":"10.1007\/978-3-540-92188-2"},{"key":"8_CR5","doi-asserted-by":"publisher","unstructured":"Benvenuti, L., Ferrari, A., Mangeruca, L., Mazzi, E., Passerone, R., Sofronis, C.: A contract-based formalism for the specification of heterogeneous systems. In: Proceedings of the Forum on Specification, Verification and Design Languages (FDL08), pp. 142\u2013147. Stuttgart, Germany (2008). doi: 10.1109\/FDL.2008.4641436","DOI":"10.1109\/FDL.2008.4641436"},{"key":"8_CR6","unstructured":"SPEEDS Consortium: Home page. http:\/\/www.speeds.eu.com"},{"key":"8_CR7","unstructured":"COMBEST Consortium: Home page. http:\/\/www.combest.eu"},{"key":"8_CR8","unstructured":"CESAR Consortium: Home page. http:\/\/www.cesarproject.eu\/"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Partners, S.: SPEEDS metamodel. SPEEDS project deliverable D2.1.5 (2009)","DOI":"10.1016\/S1350-4789(09)70530-6"},{"key":"8_CR10","unstructured":"The Mathworks, Inc.: MATLAB simulink. http:\/\/www.mathworks.com"},{"issue":"1","key":"8_CR11","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R Alur","year":"1999","unstructured":"Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods Syst. Des. 15(1), 7\u201348 (1999)","journal-title":"Formal Methods Syst. Des."},{"key":"8_CR12","unstructured":"Maier, P.: A lattice-theoretic framework for circular assume-guarantee reasoning. Ph.D. thesis, Universit\u00e4t des Saarlandes (2003)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Cobleigh, J.M., Avrunin, G.S., Clarke, L.A.: Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. ACM Trans. Softw. Eng. Methodol. 17(2) (2008)","DOI":"10.1145\/1348250.1348253"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of ESEC\/SIGSOFT FSE\u201901, pp. 109\u2013120. ACM Press (2001)","DOI":"10.1145\/503271.503226"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Nyman, U., Wasowski, A.: Interface input\/output automata. In: Proceedings of FM\u201906, LNCS, vol. 4085, pp. 82\u201397 (2006)","DOI":"10.1007\/11813040_7"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Tripakis, S., Lickly, B., Henzinger, T.A., Lee, E.A.: On relational interfaces. In: Proceedings of EMSOFT\u201909, pp. 67\u201376 (2009)","DOI":"10.1145\/1629335.1629346"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Delahaye, B., Caillaud, B., Legay, A.: Probabilistic contracts: A compositional reasoning methodology for the design of stochastic systems. In: Proceedings of ACSD\u201910, pp. 223\u2013232 (2010)","DOI":"10.1109\/ACSD.2010.13"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Raclet, J.B., Badouel, E., Benveniste, A., Caillaud, B., Legay, A., Passerone, R.: Modal interfaces: Unifying interface automata and modal specifications. In: Proceedings of the Ninth International Conference on Embedded Software (EMSOFT09), pp. 87\u201396. Grenoble, France (2009)","DOI":"10.1145\/1629335.1629348"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Raclet, J.B., Badouel, E., Benveniste, A., Caillaud, B., Passerone, R.: Why are modalities good for Interface Theories? In: Proceedings of the Ninth International Conference on Application of Concurrency to System Design (ACSD09), pp. 119\u2013127. Augsburg, Germany (2009)","DOI":"10.1109\/ACSD.2009.22"},{"issue":"1\u20132","key":"8_CR20","doi-asserted-by":"crossref","first-page":"119","DOI":"10.3233\/FI-2011-416","volume":"108","author":"J.B. Raclet","year":"2011","unstructured":"Raclet, J.B., Badouel, E., Benveniste, A., Caillaud, B., Legay, A., Passerone, R.: A modal interface theory for component-based design. Fundamenta Informaticae 108(1\u20132), 119\u2013149 (2011). 10.3233\/FI-2011-416","journal-title":"Fundamenta Informaticae"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Nyman, U., Wasowski, A.: Modal I\/O automata for interface and product line theories. In: Proceedings of ESOP\u201907, LNCS, vol. 4421, pp. 64\u201379 (2007)","DOI":"10.1007\/978-3-540-71316-6_6"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Quinton, S., Graf, S.: Contract-based verification of hierarchical systems of components. In: Proceedings of SEFM\u201908, pp. 377\u2013381. IEEE Computer Society (2008)","DOI":"10.1109\/SEFM.2008.28"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Hafaiedh, I.B., Graf, S., Quinton, S.: Reasoning about safety and progress using contracts. In: Proceedings of ICFEM\u201910, pp. 436\u2013451 (2010)","DOI":"10.1007\/978-3-642-16901-4_29"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Graf, S., Passerone, R., Quinton, S.: Contract-based reasoning for component systems with complex interactions. Research report TR-2010-12, VERIMAG (2010 updated 2013)","DOI":"10.1007\/978-1-4614-3879-3_8"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Sifakis, J.: A framework for component-based construction. In: Proceedings of SEFM\u201905, pp. 293\u2013300. IEEE Computer Society (2005)","DOI":"10.1109\/SEFM.2005.3"},{"key":"8_CR26","unstructured":"Benveniste, A., Caillaud, B., Passerone, R.: A generic model of contracts for embedded systems. Rapport de recherche 6214, Institut National de Recherche en Informatique et en Automatique (2007)"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Pinto, A., Bonivento, A., Sangiovanni-Vincentelli, A.L., Passerone, R., Sgroi, M.: System level design paradigms: Platform-based design and communication synthesis. ACM Trans. Des. Autom. Electron. Syst. 11(3), 537\u2013563 (2006). http:\/\/doi.acm.org\/10.1145\/1142980.1142982","DOI":"10.1145\/1142980.1142982"}],"container-title":["Embedded Systems","Embedded Systems Development"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-3879-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T15:44:32Z","timestamp":1675784672000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-3879-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,19]]},"ISBN":["9781461438786","9781461438793"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-3879-3_8","relation":{},"ISSN":["2193-0155","2193-0163"],"issn-type":[{"value":"2193-0155","type":"print"},{"value":"2193-0163","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,19]]},"assertion":[{"value":"19 July 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}