Diagnosability Analysis Based on Component-Supported Analytical Redundancy Relations | IEEE Journals & Magazine | IEEE Xplore