{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:58:48Z","timestamp":1725746328797},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407925"},{"type":"electronic","value":"9783642407932"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40793-2_22","type":"book-chapter","created":{"date-parts":[[2013,8,27]],"date-time":"2013-08-27T02:10:59Z","timestamp":1377569459000},"page":"241-252","source":"Crossref","is-referenced-by-count":4,"title":["Characterization of Failure Effects on AADL Models"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Ern","sequence":"first","affiliation":[]},{"given":"Viet Yen","family":"Nguyen","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Noll","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Architecture, Analysis and Design Language AS5506. SAE (2004)"},{"issue":"5","key":"22_CR2","doi-asserted-by":"publisher","first-page":"754","DOI":"10.1093\/comjnl\/bxq024","volume":"54","author":"M. Bozzano","year":"2011","unstructured":"Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V.Y., Noll, T., Roveri, M.: Safety, Dependability and Performance Analysis of Extended AADL Models. Computer Journal\u00a054(5), 754\u2013775 (2011)","journal-title":"Computer Journal"},{"key":"22_CR3","unstructured":"COMPASS Project, \n                    \n                      http:\/\/compass.informatik.rwth-aachen.de"},{"volume-title":"The Book of Traces","year":"1995","key":"22_CR4","unstructured":"Diekert, V., Rozenberg, G. (eds.): The Book of Traces. World Scientific, Singapore (1995)"},{"key":"22_CR5","unstructured":"Ern, B.: Model-Based Criticality Analysis by Impact Isolation. Master\u2019s thesis. RWTH Aachen University (2012)"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Esteve, M.-A., Katoen, J.-P., Nguyen, V.Y., Postma, B., Yushtein, Y.: Formal Correctness, Safety, Dependability and Performance Analysis of a Satellite. In: Proc. 34th International Conference on Software Engineering (ICSE 2012), pp. 1022\u20131031 (2012)","DOI":"10.1109\/ICSE.2012.6227118"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Godefroid, P.: Dynamic partial-order reduction for model checking software. In: Proc. 32nd Symposium on Principles of Programming Languages (POPL 2005), pp. 110\u2013121 (2005)","DOI":"10.1145\/1047659.1040315"},{"key":"22_CR8","unstructured":"Hecht, M., Lam, A., Vogl, C., Dimpfl, C.: A Tool Set for Generation of Failure Modes and Effects Analyses from AADL Models. Presentation at Systems and Software Technology Conference 2012 (2012)"},{"key":"22_CR9","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional (2003)"},{"key":"22_CR10","unstructured":"Odenbrett, M.R.: Explicit-State Model Checking of an Architectural Design Language using SPIN. Diplomarbeit. RWTH Aachen University (2010)"},{"issue":"1","key":"22_CR11","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1093\/comjnl\/bxp052","volume":"54","author":"G. Winskel","year":"2011","unstructured":"Winskel, G.: Events, Causality and Symmetry. Computer Journal\u00a054(1), 42\u201357 (2011)","journal-title":"Computer Journal"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40793-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T00:43:17Z","timestamp":1558053797000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40793-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407925","9783642407932"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40793-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}