Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving | IEEE Journals & Magazine | IEEE Xplore