{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:07:28Z","timestamp":1759334848427,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031975363"},{"type":"electronic","value":"9783031975370"}],"license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"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":[[2026]]},"DOI":"10.1007\/978-3-031-97537-0_2","type":"book-chapter","created":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T22:51:18Z","timestamp":1759272678000},"page":"9-35","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Some Algebraic Aspects of\u00a0Assume-Guarantee Reasoning"],"prefix":"10.1007","author":[{"given":"Inigo","family":"Incer","sequence":"first","affiliation":[]},{"given":"Albert","family":"Benveniste","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,1]]},"reference":[{"issue":"1","key":"2_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M Abadi","year":"1993","unstructured":"Abadi, M., Lamport, L.: Composing specifications. ACM Trans. Program. Lang. Syst. 15(1), 73\u2013132 (1993). https:\/\/doi.org\/10.1145\/151646.151649","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"2_CR2","doi-asserted-by":"publisher","unstructured":"de\u00a0Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering. ESEC\/FSE-9, pp. 109\u2013120. Association for Computing Machinery, New York (2001). https:\/\/doi.org\/10.1145\/503209.503226","DOI":"10.1145\/503209.503226"},{"key":"2_CR3","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: de Boer, F.S., Bonsangue, M.M., Graf, S., Willem-Paul de Roever (eds.) Formal Methods for Components and Objects, $$6^{th}$$ International Symposium (FMCO 2007), Amsterdam, The Netherlands, October 24\u201326, 2007, Revised Papers, Lecture Notes in Computer Science, vol.\u00a05382, pp. 200\u2013225. Springer Verlag, Berlin Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-92188-2","DOI":"10.1007\/978-3-540-92188-2"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Benveniste, A., et al.: Contracts for system design. Found. Trends\u00ae Electr. Des. Autom. 12(2-3), 124\u2013400 (2018)","DOI":"10.1561\/1000000053"},{"key":"2_CR5","doi-asserted-by":"publisher","unstructured":"Damm, W.: Controlling speculative design processes using rich component models. In: Fifth International Conference on Application of Concurrency to System Design (ACSD\u201905), pp. 118\u2013119 (2005). https:\/\/doi.org\/10.1109\/ACSD.2005.35","DOI":"10.1109\/ACSD.2005.35"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Davies, A., Brady, T., Hobday, M.: Organizing for solutions: systems seller vs. systems integrator. Ind. Mark. Manage. 36(2), 183\u2013193 (2007)","DOI":"10.1016\/j.indmarman.2006.04.009"},{"issue":"2","key":"2_CR7","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1002\/sys.20028","volume":"8","author":"M Emes","year":"2005","unstructured":"Emes, M., Smith, A., Cowper, D.: Confronting an identity crisis-how to \u201cbrand\" systems engineering. Syst. Eng. 8(2), 164\u2013186 (2005). https:\/\/doi.org\/10.1002\/sys.20028","journal-title":"Syst. Eng."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Floyd, R.W.: Assigning meanings to programs. Mathematical Aspects of Computer Science, ed. Schwartz, JT, Amer. Math. Soc (1967)","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"2_CR9","doi-asserted-by":"publisher","unstructured":"Golan, J.S.: Semirings and their Applications, 1st edn. Springer, Dordrecht (1999). https:\/\/doi.org\/10.1007\/978-94-015-9333-5","DOI":"10.1007\/978-94-015-9333-5"},{"issue":"10","key":"2_CR10","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969). https:\/\/doi.org\/10.1145\/363235.363259","journal-title":"Commun. ACM"},{"issue":"6","key":"2_CR11","doi-asserted-by":"publisher","first-page":"1109","DOI":"10.1093\/icc\/dth080","volume":"14","author":"M Hobday","year":"2005","unstructured":"Hobday, M., Davies, A., Prencipe, A.: Systems integration: a core capability of the modern corporation. Ind. Corp. Chang. 14(6), 1109\u20131143 (2005)","journal-title":"Ind. Corp. Chang."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Iannopollo, A., Nuzzo, P., Tripakis, S., Sangiovanni-Vincentelli, A.: Library-based scalable refinement checking for contract-based design. In: 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp.\u00a01\u20136. IEEE (2014)","DOI":"10.7873\/DATE2014.167"},{"key":"2_CR13","doi-asserted-by":"publisher","unstructured":"Incer, I., Sangiovanni-Vincentelli, A.L., Lin, C.W., Kang, E.: Quotient for assume-guarantee contracts. In: 16th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE\u201918, pp. 67\u201377 (2018). https:\/\/doi.org\/10.1109\/MEMCOD.2018.8556872","DOI":"10.1109\/MEMCOD.2018.8556872"},{"key":"2_CR14","unstructured":"Incer, I.: The Algebra of Contracts. Ph.D. thesis, EECS Department, University of California, Berkeley (2022)"},{"key":"2_CR15","unstructured":"Incer, I., et\u00a0al.: Pacti: scaling assume-guarantee reasoning for system analysis and design. arXiv preprint: arXiv:2303.17751 (2023)"},{"key":"2_CR16","doi-asserted-by":"publisher","unstructured":"Incer, I., Mangeruca, L., Villa, T., Sangiovanni-Vincentelli, A.L.: The quotient in preorder theories. In: Raskin, J.F., Bresolin, D. (eds.) Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, Brussels, Belgium, September 21-22, 2020. Electronic Proceedings in Theoretical Computer Science, vol.\u00a0326, pp. 216\u2013233. Open Publishing Association, Brussels, Belgium (2020). https:\/\/doi.org\/10.4204\/EPTCS.326.14","DOI":"10.4204\/EPTCS.326.14"},{"issue":"1","key":"2_CR17","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1002\/inst.201013143","volume":"13","author":"S Jackson","year":"2010","unstructured":"Jackson, S.: Memo to industry: the crisis in systems engineering. Insight 13(1), 43\u201343 (2010). https:\/\/doi.org\/10.1002\/inst.201013143","journal-title":"Insight"},{"issue":"1","key":"2_CR18","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/63238.63240","volume":"32","author":"L Lamport","year":"1989","unstructured":"Lamport, L.: A simple approach to specifying concurrent systems. Commun. ACM 32(1), 32\u201345 (1989). https:\/\/doi.org\/10.1145\/63238.63240","journal-title":"Commun. ACM"},{"issue":"4","key":"2_CR19","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0925-7535(03)00047-X","volume":"42","author":"N Leveson","year":"2004","unstructured":"Leveson, N.: A new accident model for engineering safer systems. Saf. Sci. 42(4), 237\u2013270 (2004). https:\/\/doi.org\/10.1016\/S0925-7535(03)00047-X","journal-title":"Saf. Sci."},{"key":"2_CR20","doi-asserted-by":"publisher","unstructured":"Madni, A.M., Sievers, M.: Systems integration: key perspectives, experiences, and challenges. Syst. Eng. 17(1), 37\u201351 (2014). https:\/\/doi.org\/10.1002\/sys.21249","DOI":"10.1002\/sys.21249"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-030-89247-0_3","volume-title":"Fundamentals of Software Engineering","author":"P Mallozzi","year":"2021","unstructured":"Mallozzi, P., Nuzzo, P., Pelliccione, P.: Incremental refinement of goal models with contracts. In: Hojjat, H., Massink, M. (eds.) Fundamentals of Software Engineering, pp. 35\u201350. Springer International Publishing, Cham (2021)"},{"issue":"10","key":"2_CR22","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cdesign by contract\u2019\u2019. IEEE Comput. 25(10), 40\u201351 (1992). https:\/\/doi.org\/10.1109\/2.161279","journal-title":"IEEE Comput."},{"key":"2_CR23","unstructured":"National Defense Industrial Association and others: Top systems engineering issues in US defense industry. Systems Engineering Division Task Group Report (2016). https:\/\/www.ndia.org\/-\/media\/sites\/ndia\/divisions\/systems-engineering\/studies-and-reports\/ndia-top-se-issues-2016-report-v7c.ashx"},{"key":"2_CR24","unstructured":"Negulescu, R.: Process spacess. Tech. Rep. CS-95-48, University of Waterloo (1995)"},{"issue":"11","key":"2_CR25","doi-asserted-by":"publisher","first-page":"2104","DOI":"10.1109\/JPROC.2015.2453253","volume":"103","author":"P Nuzzo","year":"2015","unstructured":"Nuzzo, P., Sangiovanni-Vincentelli, A.L., Bresolin, D., Geretti, L., Villa, T.: A platform-based design methodology with contracts and related tools for the design of cyber-physical systems. Proc. IEEE 103(11), 2104\u20132132 (2015). https:\/\/doi.org\/10.1109\/JPROC.2015.2453253","journal-title":"Proc. IEEE"},{"key":"2_CR26","doi-asserted-by":"publisher","unstructured":"Passerone, R., Incer, I., Sangiovanni-Vincentelli, A.L.: Coherent extension, composition, and merging operators in contract models for system design. ACM Trans. Embed. Comput. Syst. 18(5s) (2019). https:\/\/doi.org\/10.1145\/3358216","DOI":"10.1145\/3358216"},{"issue":"3","key":"2_CR27","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1002\/(SICI)1520-6858(1998)1:3<176::AID-SYS3>3.0.CO;2-L","volume":"1","author":"AP Sage","year":"1998","unstructured":"Sage, A.P., Lynch, C.L.: Systems integration and architecting: an overview of principles, practices, and perspectives. Syst. Eng.: J. Int. Counc. Syst. Eng. 1(3), 176\u2013227 (1998)","journal-title":"Syst. Eng.: J. Int. Counc. Syst. Eng."},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Sangiovanni-Vincentelli, A., Damm, W., Passerone, R.: Taming Dr. Frankenstein: contract-based design for cyber-physical systems. Eur. J. Control 18(3), 217\u2013238 (2012)","DOI":"10.3166\/ejc.18.217-238"},{"key":"2_CR29","doi-asserted-by":"publisher","unstructured":"Sangiovanni-Vincentelli, A.L., Damm, W., Passerone, R.: Taming Dr. Frankenstein: contract-based design for cyber-physical systems. Eur. J. Control 18(3), 217 \u2013 238 (2012). https:\/\/doi.org\/10.3166\/ejc.18.217-238, http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0947358012709433","DOI":"10.3166\/ejc.18.217-238"}],"container-title":["Lecture Notes in Computer Science","Engineering Safe and Trustworthy Cyber Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-97537-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T22:51:22Z","timestamp":1759272682000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-97537-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,1]]},"ISBN":["9783031975363","9783031975370"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-97537-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,10,1]]},"assertion":[{"value":"1 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}