{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T03:56:24Z","timestamp":1768017384156,"version":"3.49.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319216898","type":"print"},{"value":"9783319216904","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21690-4_41","type":"book-chapter","created":{"date-parts":[[2015,7,15]],"date-time":"2015-07-15T02:08:27Z","timestamp":1436926107000},"page":"603-621","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["Efficient Anytime Techniques for Model-Based Safety Analysis"],"prefix":"10.1007","author":[{"given":"Marco","family":"Bozzano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Cimatti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Griggio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian","family":"Mattarei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,16]]},"reference":[{"key":"41_CR1","volume-title":"Safeware: System Safety and Computers","author":"NG Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware: System Safety and Computers. Addison-Wesley, Boston (1995)"},{"key":"41_CR2","volume-title":"Safety Critical Computer Systems","author":"N Storey","year":"1996","unstructured":"Storey, N.: Safety Critical Computer Systems. Addison-Wesley, Boston (1996)"},{"key":"41_CR3","doi-asserted-by":"publisher","DOI":"10.1201\/b10094","volume-title":"Design and Safety Assessment of Critical Systems, an Auerbach Book","author":"M Bozzano","year":"2010","unstructured":"Bozzano, M., Villafiorita, A.: Design and Safety Assessment of Critical Systems, an Auerbach Book. CRC Press (Taylor and Francis), Boca Raton (2010)"},{"key":"41_CR4","unstructured":"Bozzano, M., Villafiorita, A., et al.: ESACS: an integrated methodology for design and safety analysis of complex systems. In: Proceedings of ESREL 2003, pp. 237\u2013245 (2003)"},{"key":"41_CR5","series-title":"IFIP International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/978-1-4020-8157-6_45","volume-title":"Building the Information Society","author":"P Bieber","year":"2004","unstructured":"Bieber, P., Bougnol, C., Castel, C., Christophe Kehren, J.P., Metge, S., Seguin, C.: Safety assessment with AltaRica. In: Jacquart, R. (ed.) Building the Information Society. IFIP International Federation for Information Processing, vol. 156, pp. 505\u2013510. Springer, Heidelberg (2004)"},{"key":"41_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-540-45236-2_13","volume-title":"FME 2003: Formal Methods","author":"M Bozzano","year":"2003","unstructured":"Bozzano, M., Cavallo, A., Cifaldi, M., Valacca, L., Villafiorita, A.: Improving safety assessment of complex systems: an industrial case study. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 208\u2013222. Springer, Heidelberg (2003)"},{"key":"41_CR7","unstructured":"Joshi, A., Miller, S., Whalen, M., Heimdahl, M.: A proposal for model-based safety analysis. In: Proceedings of DASC. IEEE Computer Society (2005)"},{"key":"41_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-75596-8_13","volume-title":"Automated Technology for Verification and Analysis","author":"M Bozzano","year":"2007","unstructured":"Bozzano, M., Cimatti, A., Tapparo, F.: Symbolic Fault Tree Analysis for Reactive Systems. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol. 4762, pp. 162\u2013176. Springer, Heidelberg (2007)"},{"issue":"5","key":"41_CR9","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., Noll, T., Roveri, M.: Safety, dependability and performance analysis of extended AADL models. Comput. J. 54(5), 754\u2013775 (2011)","journal-title":"Comput. J."},{"key":"41_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-04468-7_15","volume-title":"Computer Safety, Reliability, and Security","author":"M Bozzano","year":"2009","unstructured":"Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V.Y., Noll, T., Roveri, M.: The COMPASS approach: correctness, modelling and performability of aerospace systems. In: Buth, B., Rabe, G., Seyfarth, T. (eds.) SAFECOMP 2009. LNCS, vol. 5775, pp. 173\u2013186. Springer, Heidelberg (2009)"},{"key":"41_CR11","unstructured":"xSAP: The xSAP safety analysis platform. \n                      http:\/\/xsap.fbk.eu"},{"key":"41_CR12","unstructured":"Bittner, B., Bozzano, M., Cavada, R., Cimatti, A., Gario, M., Griggio, A., Mattarei, C., Micheli, A., Zampedri, G.: The xSAP safety analysis platform. In: \n                      1504.07513"},{"key":"41_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/978-3-319-08867-9_22","volume-title":"Computer Aided Verification","author":"R Cavada","year":"2014","unstructured":"Cavada, R., Cimatti, A., Dorigatti, M., Griggio, A., Mariotti, A., Micheli, A., Mover, S., Roveri, M., Tonetta, S.: The nuXmv symbolic model checker. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 334\u2013342. Springer, Heidelberg (2014)"},{"key":"41_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/978-3-319-12214-4_5","volume-title":"Model-Based Safety and Assessment","author":"M Morel","year":"2014","unstructured":"Morel, M.: Model-based safety approach for early validation of integrated and modular avionics architectures. In: Ortmeier, F., Rauzy, A. (eds.) IMBSA 2014. LNCS, vol. 8822, pp. 57\u201369. Springer, Heidelberg (2014)"},{"key":"41_CR15","doi-asserted-by":"crossref","unstructured":"Batteux, M., Prosvirnova, T., Rauzy, A., Kloul, L.: The altarica 3.0 project for model-based safety assessment. In: 11th IEEE International Conference on Industrial Informatics, INDIN 2013, Bochum, Germany, 29\u201331 July 2013, pp. 741\u2013746. IEEE (2013)","DOI":"10.1109\/INDIN.2013.6622976"},{"key":"41_CR16","unstructured":"Bozzano, M., Villafiorita, A.: Integrating fault tree analysis with event ordering information. In: Proceedings of ESREL 2003, pp. 247\u2013254 (2003)"},{"issue":"6","key":"41_CR17","doi-asserted-by":"publisher","first-page":"1076","DOI":"10.1016\/j.ress.2008.12.003","volume":"94","author":"A Majdara","year":"2009","unstructured":"Majdara, A., Wakabayashi, T.: Component-based modeling of systems for automated fault tree generation. Reliab. Eng. Syst. Saf. 94(6), 1076\u20131086 (2009)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"41_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11925040_8","volume-title":"Leveraging Applications of Formal Methods","author":"PA Abdulla","year":"2006","unstructured":"Abdulla, P.A., Deneux, J., St\u00e5lmarck, G., \u00c5gren, H., \u00c5kerlund, O.: Designing safe, reliable systems using scade. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. LNCS, vol. 4313, pp. 115\u2013129. Springer, Heidelberg (2006)"},{"issue":"4","key":"41_CR19","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1016\/j.scico.2014.06.003","volume":"98","author":"M Bozzano","year":"2015","unstructured":"Bozzano, M., Cimatti, A., Lisagor, O., Mattarei, C., Mover, S., Roveri, M., Tonetta, S.: Safety assessment of AltaRica models via symbolic model checking. Sci. Comput. Program. 98(4), 464\u2013483 (2015)","journal-title":"Sci. Comput. Program."},{"key":"41_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-642-18275-4_7","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"AR Bradley","year":"2011","unstructured":"Bradley, A.R.: SAT-based model checking without unrolling. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol. 6538, pp. 70\u201387. Springer, Heidelberg (2011)"},{"key":"41_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-540-88387-6_27","volume-title":"Automated Technology for Verification and Analysis","author":"E B\u00f6de","year":"2008","unstructured":"B\u00f6de, E., Peikenkamp, T., Rakow, J., Wischmeyer, S.: Model based importance analysis for minimal cut sets. In: Cha, S.S., Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol. 5311, pp. 303\u2013317. Springer, Heidelberg (2008)"},{"key":"41_CR22","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Griggio, A., Mover, S., Tonetta, S.: Parameter synthesis with IC3. In: Proceedings of FMCAD, pp. 165\u2013168. IEEE (2013)","DOI":"10.1109\/FMCAD.2013.6679406"},{"key":"41_CR23","unstructured":"SAE: ARP4761 Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, December 1996"},{"key":"41_CR24","unstructured":"Vesely, W., Stamatelatos, M., Dugan, J., Fragola, J., Minarick III, J., Railsback, J.:Fault Tree Handbook with Aerospace Applications. NASA Headquarters,Washington DC (2002)"},{"key":"41_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/978-3-319-11936-6_7","volume-title":"Automated Technology for Verification and Analysis","author":"M Bozzano","year":"2014","unstructured":"Bozzano, M., Cimatti, A., Mattarei, C., Tonetta, S.: Formal safety assessment via contract-based design. In: Cassez, F., Raskin, J.-F. (eds.) ATVA 2014. LNCS, vol. 8837, pp. 81\u201397. Springer, Heidelberg (2014)"},{"key":"41_CR26","unstructured":"Coudert, O., Madre, J.: Fault tree analysis: \n                      \n                        \n                      \n                      $$10^{20}$$\n                     prime implicants and beyond. In: Proceedings of RAMS (1993)"},{"key":"41_CR27","unstructured":"MISSA: The MISSA Project. \n                      http:\/\/www.missa-fp7.eu\n                      \n                    . Accessed 28 Jan 2015"},{"issue":"1","key":"41_CR28","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10009-006-0001-2","volume":"9","author":"M Bozzano","year":"2007","unstructured":"Bozzano, M., Villafiorita, A.: The FSAP\/NuSMV-SA safety analysis platform. STTT 9(1), 5\u201324 (2007)","journal-title":"STTT"},{"key":"41_CR29","unstructured":"Biere, A., Heljanko, K., Wieringa, S.: AIGER (2011). \n                      http:\/\/fmv.jku.at\/aiger\/"},{"key":"41_CR30","unstructured":"SAE: AIR 6110. Contiguous Aircraft\/ System Development Process Example, December 2011"},{"key":"41_CR31","unstructured":"Bozzano, M., Cimatti, A., Pires, A.F., Jones, D., Kimberly, G., Petri, T., Robinson, R., Tonetta, S.: A formal account of the AIR6110 wheel brake system. In: Proceedings of CAV, LNCS 9206 (2015)"},{"key":"41_CR32","doi-asserted-by":"crossref","unstructured":"Ab\u00edo, I., Nieuwenhuis, R., Oliveras, A., Rodr\u00edguez-Carbonell, E.: A parametric approach for smaller and better encodings of cardinality constraints. In: Proceedings of CP (2013)","DOI":"10.1007\/978-3-642-40627-0_9"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21690-4_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,22]],"date-time":"2019-07-22T20:11:28Z","timestamp":1563826288000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-21690-4_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319216898","9783319216904"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21690-4_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"16 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}