{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T16:57:15Z","timestamp":1758473835433,"version":"3.41.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319641188"},{"type":"electronic","value":"9783319641195"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-64119-5_10","type":"book-chapter","created":{"date-parts":[[2017,8,1]],"date-time":"2017-08-01T13:05:09Z","timestamp":1501592709000},"page":"147-162","source":"Crossref","is-referenced-by-count":4,"title":["A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"Albore","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvano","family":"Dal Zilio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillaume","family":"Infantes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christel","family":"Seguin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Virelizier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,2]]},"reference":[{"issue":"2\u20133","key":"10_CR1","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. Fundamenta Informatic\u00e6 40(2\u20133), 109\u2013124 (1999)","journal-title":"Fundamenta Informatic\u00e6"},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0951-8320(02)00042-X","volume":"78","author":"A Rauzy","year":"2002","unstructured":"Rauzy, A.: Mode automata and their compilation into fault trees. Reliabil. Eng. Syst. Saf. 78, 1\u201312 (2002)","journal-title":"Reliabil. Eng. Syst. Saf."},{"issue":"4","key":"10_CR3","first-page":"495","volume":"222","author":"RA Guarded","year":"2008","unstructured":"Guarded, R.A.: Guarded transition systems: a new states\/events formalism for reliability studies. J. Risk Reliabil. 222(4), 495\u2013505 (2008)","journal-title":"J. Risk Reliabil."},{"issue":"6","key":"10_CR4","doi-asserted-by":"crossref","first-page":"43","DOI":"10.3182\/20070613-3-FR-4909.00010","volume":"40","author":"R Bernard","year":"2007","unstructured":"Bernard, R., Aubert, J.-J., Bieber, P., Merlini, C., Metge, S.: Experiments in model based safety analysis: flight controls. Proc. IFAC 40(6), 43\u201348 (2007)","journal-title":"Proc. IFAC"},{"issue":"14","key":"10_CR5","doi-asserted-by":"crossref","first-page":"2741","DOI":"10.1080\/00207540412331312688","volume":"42","author":"B Berthomieu","year":"2004","unstructured":"Berthomieu, B., Ribet, P.O., Vernadat, F.: The tool Tina - construction of abstract state spaces for Petri nets and time Petri nets. Int. J. Prod. Res. 42(14), 2741\u20132756 (2004)","journal-title":"Int. J. Prod. Res."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Bodeveix, J.-P., Farail, P., Filali, M., Garavel, H., Gaufillet, P., Lang, F., Vernadat, F.: Fiacre: an intermediate language for model verification in the topcased environment. In: Proceedings of ERTS (2008)","DOI":"10.1007\/978-3-642-01924-1_15"},{"key":"10_CR7","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.H., Metge, S., Seguin, C.: Safety assessment with AltaRica. In: Jacquart, R. (ed.) Building the Information Society. IIFIP, vol. 156, pp. 505\u2013510. Springer, Boston (2004). doi: 10.1007\/978-1-4020-8157-6_45"},{"key":"10_CR8","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., Thevenod-Fosse, P. (eds.) EDCC 2002. LNCS, vol. 2485, pp. 19\u201331. Springer, Heidelberg (2002). doi: 10.1007\/3-540-36080-8_3"},{"key":"10_CR9","unstructured":"Bittner, B., Bozzano, M., Cimatti, A.: Automated synthesis of timed failure propagation graphs. In: Proceedings of IJCAI, pp. 972\u2013978 (2016)"},{"key":"10_CR10","unstructured":"Bouissou, M.: Automated dependability analysis of complex systems with the KB3 workbench: the experience of EDF R&D. In: Proceedings of CIEM (2005)"},{"issue":"2\u20133","key":"10_CR11","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/j.tcs.2004.04.003","volume":"321","author":"P Bouyer","year":"2004","unstructured":"Bouyer, P., Dufourd, C., Fleury, E., Petit, A.: Updatable timed automata. Theor. Comput. Sci. 321(2\u20133), 291\u2013345 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR12","unstructured":"Bozzano, M., Cimatti, A., Lisagor, O., Mattarei, C., Mover, S., Roveri, M., Tonetta, S.: Symbolic model-checking and safety assessment of AltaRica models. Electron. Commun. EASST 46 (2012)"},{"issue":"3\u20134","key":"10_CR13","doi-asserted-by":"crossref","first-page":"291","DOI":"10.3233\/FUN-2004-623-402","volume":"62","author":"F Cassez","year":"2004","unstructured":"Cassez, F., Pagetti, C., Roux, O.: A timed extension for AltaRica. Fundamenta Informatic\u00e6 62(3\u20134), 291\u2013332 (2004)","journal-title":"Fundamenta Informatic\u00e6"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1007\/978-3-540-27813-9_43","volume-title":"Computer Aided Verification","author":"A Griffault","year":"2004","unstructured":"Griffault, A., Vincent, A.: The Mec\u00a05 model-checker. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 488\u2013491. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-27813-9_43"},{"issue":"22","key":"10_CR15","doi-asserted-by":"crossref","first-page":"127","DOI":"10.3182\/20130904-3-UK-4041.00028","volume":"46","author":"T Prosvirnova","year":"2013","unstructured":"Prosvirnova, T., Batteux, M., Brameret, P.-A., Cherfi, A., Friedlhuber, T., Roussel, J.-M., Rauzy, A.: The AltaRica 3.0 project for model-based safety assessment. IFAC Proc. 46(22), 127\u2013132 (2013)","journal-title":"IFAC Proc."},{"key":"10_CR16","unstructured":"Rauzy, A.: AltaRica dataflow language specification version 2.3. Technical report, Ecole Centrale de Paris, June 2013"},{"key":"10_CR17","unstructured":"Teichteil-K\u00f6nigbuch, F., Infantes, G., Seguin, C.: EPOCH probabilistic model-checking. In: Model Based Safety Assessment Workshop, Toulouse, France (2011)"},{"key":"10_CR18","unstructured":"Thomas, D., Blanquart, J.-P.: Model-based RAMS & FDIR co-engineering at Astrium satellites. In: Proceedings of DASIA, ESA Special Publication, 720:33 (2013)"}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-64119-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T19:37:52Z","timestamp":1750793872000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-64119-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319641188","9783319641195"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-64119-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}