A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis | IEEE Conference Publication | IEEE Xplore