{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T03:40:01Z","timestamp":1747539601345,"version":"3.40.5"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319152004"},{"type":"electronic","value":"9783319152011"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-15201-1_9","type":"book-chapter","created":{"date-parts":[[2015,1,31]],"date-time":"2015-01-31T14:31:11Z","timestamp":1422714671000},"page":"131-143","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics"],"prefix":"10.1007","author":[{"given":"Gregory","family":"Provan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,2,1]]},"reference":[{"key":"9_CR1","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. 5382, pp. 200\u2013225. Springer, Heidelberg (2008)"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.scico.2013.12.010","volume":"91","author":"C Chilton","year":"2014","unstructured":"Chilton, C., Jonsson, B., Kwiatkowska, M.: Compositional assume-guarantee reasoning for input\/output component theories. Sci. Comput. Program. 91, 115\u2013137 (2014)","journal-title":"Sci. Comput. Program."},{"issue":"1\u20132","key":"9_CR3","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1023\/A:1008335115538","volume":"10","author":"R Debouk","year":"2000","unstructured":"Debouk, R., Lafortune, S., Teneketzis, D.: Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discrete Event Dyn. Syst. 10(1\u20132), 33\u201386 (2000)","journal-title":"Discrete Event Dyn. Syst."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Giese, H., Henkler, S., Hirsch, M.: A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems. In: Transactions of the Society for Modeling and Simulation International (2010)","DOI":"10.1177\/0037549710366824"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Hashtrudi Zad, S., Kwong, R., Wonham, W.: Fault diagnosis in timed discrete-event systems. In: Proceedings of the 38th IEEE Conference on Decision and Control, vol. 2, pp. 1756\u20131761. IEEE (1999)","DOI":"10.1109\/CDC.1999.830290"},{"issue":"8","key":"9_CR6","doi-asserted-by":"publisher","first-page":"1318","DOI":"10.1109\/9.940942","volume":"46","author":"S Jiang","year":"2001","unstructured":"Jiang, S., Huang, Z., Chandra, V., Kumar, R.: A polynomial algorithm for testing diagnosability of discrete-event systems. IEEE Trans. Autom. Control 46(8), 1318\u20131321 (2001)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"6","key":"9_CR7","doi-asserted-by":"publisher","first-page":"934","DOI":"10.1109\/TAC.2004.829616","volume":"49","author":"S Jiang","year":"2004","unstructured":"Jiang, S., Kumar, R.: Failure diagnosis of discrete-event systems with linear-time temporal logic specifications. IEEE Trans. Autom. Control 49(6), 934\u2013945 (2004)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"2","key":"9_CR8","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1016\/j.jcss.2011.05.005","volume":"78","author":"B Jobstmann","year":"2012","unstructured":"Jobstmann, B., Staber, S., Griesmayer, A., Bloem, R.: Finding and fixing faults. J. Comput. Syst. Sci. 78(2), 441\u2013460 (2012)","journal-title":"J. Comput. Syst. Sci."},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"A Martin","year":"1993","unstructured":"Martin, A., Lamport, L.: Composing specifications. ACM Trans. Program. Lang. Syst. 15, 73\u2013132 (1993)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"9","key":"9_CR10","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MC.2009.296","volume":"42","author":"B Meyer","year":"2009","unstructured":"Meyer, B., Fiva, A., Ciupa, I., Leitner, A., Wei, Y., Stapf, E.: Programs that test themselves. Computer 42(9), 46\u201355 (2009)","journal-title":"Computer"},{"key":"9_CR11","unstructured":"Pill, I., Quaritsch, T.: An ltl sat encoding for behavioral diagnosis. In: International Workshop on the Principles of Diagnosis, pp. 67\u201374 (2012)"},{"key":"9_CR12","unstructured":"Pill, I., Quaritsch, T.: Behavioral diagnosis of ltl specifications at operator level. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, pp. 1053\u20131059. AAAI Press (2013)"},{"issue":"2","key":"9_CR13","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1504\/IJCCBS.2013.056485","volume":"4","author":"Y Prokhorova","year":"2013","unstructured":"Prokhorova, Y., Troubitsyna, E.: A survey of safety-oriented model-driven and formal development approaches. Int. J. Crit. Comput.-Based Syst. 4(2), 93\u2013118 (2013)","journal-title":"Int. J. Crit. Comput.-Based Syst."},{"key":"9_CR14","unstructured":"Quaritsch, T., Pill, I.: Pymbd: A library of mbd algorithms and a light-weight evaluation platform. In: Proceedings of Dx-2014 (2014)"},{"issue":"1","key":"9_CR15","doi-asserted-by":"crossref","first-page":"119","DOI":"10.3233\/FI-2011-416","volume":"108","author":"JB 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), 119\u2013149 (2011)","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"9_CR16","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57\u201395 (1987)","journal-title":"Artif. Intell."},{"issue":"2","key":"9_CR17","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M Sampath","year":"1996","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.C.: Failure diagnosis using discrete-event models. IEEE Trans. Control Syst. Technol. 4(2), 105\u2013124 (1996)","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Sl\u00e2tten, V.: Model-Driven Engineering of Dependable Systems. In: 2010 Third International Conference on Software Testing, Verification and Validation, pp. 359\u2013362. IEEE (2010)","DOI":"10.1109\/ICST.2010.49"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Stirling, C.: Modal and temporal logics (1991)","DOI":"10.1093\/oso\/9780198537618.003.0005"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Sun, X., Nuzzo, P., Wu, C., Sangiovanni-Vincentelli, A.: Contract-based system-level composition of analog circuits. In: Proceedings of the 46th Annual Design Automation Conference, pp. 605\u2013610. ACM (2009)","DOI":"10.1145\/1629911.1630066"},{"issue":"1","key":"9_CR21","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.jss.2003.05.006","volume":"74","author":"M Zulkernine","year":"2005","unstructured":"Zulkernine, M., Seviora, R.: Towards automatic monitoring of component-based software systems. J. Syst. Softw. 74(1), 15\u201324 (2005)","journal-title":"J. Syst. Softw."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15201-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T03:09:06Z","timestamp":1747537746000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-15201-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319152004","9783319152011"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15201-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"1 February 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}