Event Tree Reliability Analysis of Safety-Critical Systems Using Theorem Proving | IEEE Journals & Magazine | IEEE Xplore