{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T11:21:07Z","timestamp":1778498467447,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540921875","type":"print"},{"value":"9783540921882","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-92188-2_9","type":"book-chapter","created":{"date-parts":[[2008,12,3]],"date-time":"2008-12-03T09:00:21Z","timestamp":1228294821000},"page":"200-225","source":"Crossref","is-referenced-by-count":116,"title":["Multiple Viewpoint Contract-Based Specification and Design"],"prefix":"10.1007","author":[{"given":"Albert","family":"Benveniste","sequence":"first","affiliation":[]},{"given":"Beno\u00eet","family":"Caillaud","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Ferrari","sequence":"additional","affiliation":[]},{"given":"Leonardo","family":"Mangeruca","sequence":"additional","affiliation":[]},{"given":"Roberto","family":"Passerone","sequence":"additional","affiliation":[]},{"given":"Christos","family":"Sofronis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Damm, W.: Embedded system development for automotive applications: trends and challenges. In: Proceedings of the 6 th ACM & IEEE International conference on Embedded software (EMSOFT 2006), Seoul, Korea, October 22\u201325 (2006)","DOI":"10.1145\/1176887.1176888"},{"key":"9_CR2","unstructured":"Butz, H.: The Airbus approach to open Integrated Modular Avionics (IMA): technology, functions, industrial processes and future development road map. In: International Workshop on Aircraft System Technologies, Hamburg (March 2007)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Sangiovanni-Vincentelli, A.: Reasoning about the trends and challenges of system level design. Proc. of the IEEE \u00a095(3), 467\u2013506 (2007)","DOI":"10.1109\/JPROC.2006.890107"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Damm, W.: Controlling speculative design processes using rich component models. In: Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), St. Malo, France, June 6\u20139, pp. 118\u2013119 (2005)","DOI":"10.1109\/ACSD.2005.35"},{"issue":"10","key":"9_CR5","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201ddesign by contract\u201d. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"issue":"8","key":"9_CR6","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM\u00a018(8), 453\u2013457 (1975)","journal-title":"Communications of the ACM"},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/78969.78970","volume":"12","author":"L. Lamport","year":"1990","unstructured":"Lamport, L.: win and sin: Predicate transformers for concurrency. ACM Transactions on Programming Languages and Systems\u00a012(3), 396\u2013428 (1990)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1006\/inco.1999.2820","volume":"156","author":"R.J. Back","year":"2000","unstructured":"Back, R.J., von Wright, J.: Contracts, games, and refinement. Information and communication\u00a0156, 25\u201345 (2000)","journal-title":"Information and communication"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Back, R.J., von Wright, J.: Refinement Calculus: A systematic Introduction. Graduate Texts in Computer Science. Springer, Heidelberg (1998)","DOI":"10.1007\/978-1-4612-1674-2"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Dill, D.L.: Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. ACM Distinguished Dissertations. MIT Press (1989)","DOI":"10.7551\/mitpress\/6874.001.0001"},{"key":"9_CR11","unstructured":"Wolf, E.S.: Hierarchical Models of Synchronous Circuits for Formal Verification and Substitution. PhD thesis, Department of Computer Science, Stanford University (October 1995)"},{"key":"9_CR12","first-page":"109","volume-title":"Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering, pp. 109\u2013120. ACM Press, New York (2001)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-540-45212-6_9","volume-title":"Embedded Software","author":"A. Chakrabarti","year":"2003","unstructured":"Chakrabarti, A., de Alfaro, L., Henzinger, T.A., Stoelinga, M.: Resource interfaces. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, pp. 117\u2013133. Springer, Heidelberg (2003)"},{"key":"9_CR14","first-page":"31","volume-title":"Proceedings of the 13 th Annual Symposium on Foundations of Software Engineering (FSE 2005)","author":"T.A. Henzinger","year":"2005","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R.: Permissive interfaces. In: Proceedings of the 13 th Annual Symposium on Foundations of Software Engineering (FSE 2005), pp. 31\u201340. ACM Press, New York (2005)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR 2000 - Concurrency Theory","author":"R. Negulescu","year":"2000","unstructured":"Negulescu, R.: Process spaces. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877. Springer, Heidelberg (2000)"},{"key":"9_CR16","unstructured":"Passerone, R.: Semantic Foundations for Heterogeneous Systems. PhD thesis, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, CA 94720 (May 2004)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Burch, J., Passerone, R., Sangiovanni-Vincentelli, A.: Overcoming heterophobia: Modeling concurrency in heterogeneous systems. In: Proceedings of the 2 nd International Conference on Application of Concurrency to System Design, Newcastle upon Tyne, UK, June 25\u201329 (2001)","DOI":"10.1109\/CSD.2001.981761"},{"issue":"3","key":"9_CR18","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. Journal of the Association for Computing Machinery\u00a031(3), 560\u2013599 (1984)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/0304-3975(85)90028-3","volume":"36","author":"J. Engelfriet","year":"1985","unstructured":"Engelfriet, J.: Determinacy \u2192 (observation equivalence = trace equivalence). Theoretical Computer Science\u00a036, 21\u201325 (1985)","journal-title":"Theoretical Computer Science"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming","author":"S.D. Brookes","year":"1983","unstructured":"Brookes, S.D.: On the relationship of CCS and CSP. In: D\u00edaz, J. (ed.) ICALP 1983. LNCS. vol.\u00a0154. Springer, Heidelberg (1983)"},{"issue":"12","key":"9_CR21","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E.A. Lee","year":"1998","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.L.: A framework for comparing models of computation. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems\u00a017(12), 1217\u20131229 (1998)","journal-title":"IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92188-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T23:12:16Z","timestamp":1557961936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92188-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540921875","9783540921882"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92188-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}