Bozzano, M.; Cimatti, A.; Gario, M.; Micheli, A. SMT-Based Validation of Timed Failure Propagation Graphs. AAAI 2015, 29.