Pierre Bieber Charles Castel Christel Seguin Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. 19-31 2002 conf/edcc/2002 EDCC http://link.springer.de/link/service/series/0558/bibs/2485/24850019.htm db/conf/edcc/edcc2002.html#BieberCS02