{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T06:39:24Z","timestamp":1768286364544,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642166112","type":"print"},{"value":"9783642166129","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16612-9_21","type":"book-chapter","created":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T06:45:14Z","timestamp":1289976314000},"page":"270-284","source":"Crossref","is-referenced-by-count":19,"title":["Causality Analysis in Contract Violation"],"prefix":"10.1007","author":[{"given":"Gregor","family":"G\u00f6ssler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Le M\u00e9tayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Baptiste","family":"Raclet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1016\/j.jss.2006.08.016","volume":"80","author":"M. \u00c5kerholm","year":"2007","unstructured":"\u00c5kerholm, M., Carlson, J., Fredriksson, J., Hansson, H., H\u00e5kansson, J., M\u00f6ller, A., Petterson, P., Tivoli, M.: The SAVE approach to component-based development of vehicular systems. The Journal of Systems and Software\u00a080, 655\u2013667 (2007)","journal-title":"The Journal of Systems and Software"},{"key":"21_CR2","first-page":"21","volume-title":"Proc. Workshop on Robot Dependability: Technological Challenge of Dependable Robots in Human Environments","author":"A. Avizienis","year":"2001","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B.: Fundamental concepts of computer system dependability. In: Proc. Workshop on Robot Dependability: Technological Challenge of Dependable Robots in Human Environments, pp. 21\u201322. IEEE, Los Alamitos (2001)"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-92188-2_9","volume-title":"Formal Methods for Components and Objects","author":"A. Benveniste","year":"2008","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., de Roever, W.-P. (eds.) FMCO 2007. LNCS, vol.\u00a05382, pp. 200\u2013225. Springer, Heidelberg (2008)"},{"key":"21_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11811220_25","volume-title":"Knowledge Science, Engineering and Management","author":"P. Besnard","year":"2006","unstructured":"Besnard, P., Cordier, M.-O., Moinard, Y.: Configurations for inference between causal statements. In: Lang, J., Lin, F., Wang, J. (eds.) KSEM 2006. LNCS (LNAI), vol.\u00a04092, pp. 292\u2013304. Springer, Heidelberg (2006)"},{"key":"21_CR5","unstructured":"Brandan-Briones, L., Lazovik, A., Dague, P.: Optimal observability for diagnosability. In: Proc. Principles of Diagnosis, DX 2008 (2008)"},{"key":"21_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/3-211-27751-X","volume-title":"Principles of European Tort Law","author":"F.D. Busnelli","year":"2005","unstructured":"Busnelli, F.D., Comand, G., Cousy, H., Dobbs, D.B., Dufwa, B., Faure, M.G., Gilead, I., Green, M.D., Kerameus, K.D., Koch, B.A., Koziol, H., Magnus, U., Martn-Casals, M., Sinde Monteiro, J.F., Morteau, O., Neethling, J., Horton Rogers, W.V., Spier, J., Tichy, L., Widmer, P.: Principles of European Tort Law. Springer, Heidelberg (2005)"},{"key":"21_CR7","first-page":"233","volume-title":"Proc. ICAIL 1997","author":"L. Cholvy","year":"1997","unstructured":"Cholvy, L., Cuppens, F., Saurel, C.: Towards a logical formalization of responsibility. In: Proc. ICAIL 1997, pp. 233\u2013242. ACM Press, New York (1997)"},{"key":"21_CR8","unstructured":"Fidge, C.J.: Timestamps in message-passing systems that preserve the partial ordering. In: Raymond, K. (ed.) Proc. ACSC 1988, pp. 56\u201366 (1988)"},{"key":"21_CR9","first-page":"295","volume-title":"Proc. SEFM 2009","author":"G. G\u00f6ssler","year":"2009","unstructured":"G\u00f6ssler, G., Raclet, J.-B.: Modal contracts for component-based design. In: Proc. SEFM 2009, pp. 295\u2013303. IEEE Computer Society, Los Alamitos (2009)"},{"key":"21_CR10","unstructured":"Ericson II., C.A.: Fault tree analysis \u2013 a history. In: Proc. System Safety Conf. (1999)"},{"issue":"7","key":"21_CR11","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"key":"21_CR12","first-page":"175","volume-title":"Proc. ICSE 2000","author":"B. Littlewood","year":"2000","unstructured":"Littlewood, B., Strigini, L.: Software reliability and dependability: a roadmap. In: Proc. ICSE 2000, pp. 175\u2013188. ACM, New York (2000)"},{"key":"21_CR13","first-page":"215","volume-title":"Proc. Workshop on Parallel and Distributed Algorithms","author":"F. Mattern","year":"1988","unstructured":"Mattern, F.: Virtual time and global states of distributed systems. In: Cosnard, M. (ed.) Proc. Workshop on Parallel and Distributed Algorithms, pp. 215\u2013226. Elsevier, Amsterdam (1988)"},{"key":"21_CR14","volume-title":"Computer Related Risks","author":"P.G. Neumann","year":"1995","unstructured":"Neumann, P.G.: Computer Related Risks. Addison-Wesley, Reading (1995)"},{"key":"21_CR15","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/S0951-8320(03)00095-4","volume":"81","author":"Y. Papadopoulos","year":"2003","unstructured":"Papadopoulos, Y.: Model-based system monitoring and diagnosis of failures using statecharts and fault trees. Reliability Engineering and System Safety\u00a081, 325\u2013341 (2003)","journal-title":"Reliability Engineering and System Safety"},{"key":"21_CR16","first-page":"628","volume-title":"Proc. ECAI 2002","author":"C. Picardi","year":"2002","unstructured":"Picardi, C., Bray, R., Cascio, F., Console, L., Dague, P., Dressler, O., Millet, D., Rhefus, B., Struss, P., Valle, C.: integrating diagnosis in the design of automotive systems. In: Proc. ECAI 2002, pp. 628\u2013632. IOS Press, Amsterdam (2002)"},{"key":"21_CR17","volume-title":"Proc. ECAI 2004","author":"C. Picardi","year":"2004","unstructured":"Picardi, C., Console, L., Berger, F., Breeman, J., Kanakis, T., Moelands, J., Collas, S., Arbaretier, E., De Domenico, N., Girardelli, E., Dressler, O., Struss, P., Zilbermann, B.: AUTAS: a tool for supporting FMECA generation in aeronautic systems. In: Proc. ECAI 2004. IOS Press, Amsterdam (2004)"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"von Bar, C.: Principles of European law, Non-contractual liability arising out of damage caused to another. Sellier (2009)","DOI":"10.1515\/9783866538658"},{"key":"21_CR19","unstructured":"Yang, S., H\u00e9lou\u00ebt, L., Gazagnaire, T.: Logic-based diagnosis for distributed systems. In: CRC Press (ed.) Perspectives in Concurrency Theory: A Festschrift for P. S. Thiagarajan (2009)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16612-9_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T05:57:19Z","timestamp":1559800639000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16612-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642166112","9783642166129"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16612-9_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}