A Model-Based Diagnosis System for a Traction Power Supply System | IEEE Journals & Magazine | IEEE Xplore