Fast Dynamic Fault Tree Analysis by Model Checking Techniques | IEEE Journals & Magazine | IEEE Xplore