Alexandre Albore, Silvano Dal-Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier: A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica. IMBSA 2017: 147-162