Analytical redundancy and the design of robust failure detection systems | IEEE Journals & Magazine | IEEE Xplore