{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T11:10:07Z","timestamp":1746357007000,"version":"3.40.4"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319105567"},{"type":"electronic","value":"9783319105574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10557-4_23","type":"book-chapter","created":{"date-parts":[[2014,8,27]],"date-time":"2014-08-27T12:12:24Z","timestamp":1409141544000},"page":"195-206","source":"Crossref","is-referenced-by-count":2,"title":["Verification of Fault-Tolerant System Architectures Using Model Checking"],"prefix":"10.1007","author":[{"given":"Jussi","family":"Lahtinen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model checking. MIT Press (2001)","DOI":"10.1016\/B978-044450813-3\/50026-6"},{"key":"23_CR2","unstructured":"FBK-IRST, Carnegie Mellon University, University of Genova and University of Trento: NuSMV model checker v.2.5.4 (2012)"},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1016\/j.ress.2012.03.021","volume":"105","author":"J. Lahtinen","year":"2012","unstructured":"Lahtinen, J., Valkonen, J., Bj\u00f6rkman, K., Frits, J., Niemel\u00e4, I., Heljanko, K.: Model checking of safety-critical software in the nuclear engineering domain. Reliability Engineering & System Safety\u00a0105, 104\u2013113 (2012)","journal-title":"Reliability Engineering & System Safety"},{"key":"23_CR4","unstructured":"Lahtinen, J., Launiainen, T., Heljanko, K.: Model checking methodology for large systems, faults and asynchronic behaviour - SARANA 2011 work report. VTT Technology 12, VTT Technical Research Centre of Finland (2012), http:\/\/www.vtt.fi\/inf\/pdf\/technology\/2012\/T12.pdf"},{"key":"23_CR5","unstructured":"Lahtinen, J.: Hardware failure modelling methodology for model checking. Research report: VTT-R-00213-14, VTT Technical Research Centre of Finland (2014), http:\/\/www.vtt.fi\/inf\/julkaisut\/muut\/2014\/VTT-R-00213-14.pdf"},{"issue":"1","key":"23_CR6","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. International Journal on Software Tools for Technology Transfer\u00a09(1), 5\u201324 (2007)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/11563228_10","volume-title":"Computer Safety, Reliability, and Security","author":"A. Joshi","year":"2005","unstructured":"Joshi, A., Heimdahl, M.P.E.: Model-based safety analysis of simulink models using SCADE design verifier. In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP 2005. LNCS, vol.\u00a03688, pp. 122\u2013135. Springer, Heidelberg (2005)"},{"issue":"2,3","key":"23_CR8","doi-asserted-by":"crossref","first-page":"109","DOI":"10.3233\/FI-1999-402302","volume":"40","author":"A. Arnold","year":"1999","unstructured":"Arnold, A., Point, G., Griffault, A., Rauzy, A.: The AltaRica formalism for describing concurrent systems. Fundam. Inf.\u00a040(2,3), 109\u2013124 (1999)","journal-title":"Fundam. Inf."},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-36080-8_3","volume-title":"Dependable Computing EDCC-4","author":"P. Bieber","year":"2002","unstructured":"Bieber, P., Castel, C., Seguin, C.: Combination of fault tree analysis and model checking for safety assessment of complex system. In: Bondavalli, A., Th\u00e9venod-Fosse, P. (eds.) EDCC 2002. LNCS, vol.\u00a02485, pp. 19\u201331. Springer, Heidelberg (2002)"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Schneider, F., Easterbrook, S.M., Callahan, J.R., Holzmann, G.J.: Validating requirements for fault tolerant systems using model checking. In: ICRE, pp. 4\u201313. IEEE Computer Society (1998)","DOI":"10.1109\/ICRE.1998.667803"},{"issue":"4","key":"23_CR11","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1002\/stvr.258","volume":"12","author":"C. Bernardeschi","year":"2002","unstructured":"Bernardeschi, C., Fantechi, A., Gnesi, S.: Model checking fault tolerant systems. Softw. Test., Verif. Reliab.\u00a012(4), 251\u2013275 (2002)","journal-title":"Softw. Test., Verif. Reliab."},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BFb0000462","volume-title":"Algebraic Methodology and Software Technology","author":"G. Bruns","year":"1997","unstructured":"Bruns, G., Sutherland, I.: Model checking and fault tolerance. In: Johnson, M. (ed.) AMAST 1997. LNCS, vol.\u00a01349, pp. 45\u201359. Springer, Heidelberg (1997)"},{"issue":"5","key":"23_CR13","doi-asserted-by":"publisher","first-page":"471","DOI":"10.5516\/NET.03.2012.707","volume":"44","author":"S. Auth\u00e9n","year":"2012","unstructured":"Auth\u00e9n, S., Holmberg, J.E.: Reliability analysis of digital systems in a probabilistic risk analysis for nuclear power plants. Nuclear Engineering and Technology\u00a044(5), 471\u2013482 (2012)","journal-title":"Nuclear Engineering and Technology"},{"key":"23_CR14","unstructured":"Auth\u00e9n, S., Gustafsson, J., Holmberg, J.E.: Guidelines for reliability analysis of digital systems in PSA context - Phase 3 status report. NKS Report NKS-277, Nordic Nuclear Safety Research, NKS (2013)"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Pakonen, A., M\u00e4t\u00e4sniemi, T., Lahtinen, J., Karhela, T.: A toolset for model checking of PLC software. In: IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), pp. 1\u20136 (September 2013)","DOI":"10.1109\/ETFA.2013.6648065"},{"key":"23_CR16","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":"A.R. Bradley","year":"2011","unstructured":"Bradley, A.R.: SAT-based model checking without unrolling. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol.\u00a06538, pp. 70\u201387. Springer, Heidelberg (2011)"},{"key":"23_CR17","unstructured":"Sterin, B., Een, N., Mishchenko, A., Brayton, R.: The benefit of concurrency in model checking. In: Proceedings of the International Workshop on Logic Synthesis, IWLS 2011, pp. 176\u2013182 (2011)"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-319-03077-7_3","volume-title":"Hardware and Software: Verification and Testing","author":"T. Kuismin","year":"2013","unstructured":"Kuismin, T., Heljanko, K.: Increasing confidence in liveness model checking results with proofs. In: Bertacco, V., Legay, A. (eds.) HVC 2013. LNCS, vol.\u00a08244, pp. 32\u201343. Springer, Heidelberg (2013)"}],"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-319-10557-4_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T10:51:47Z","timestamp":1746355907000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10557-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319105567","9783319105574"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10557-4_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}