Analytically redundant controllers for fault tolerance: Implementation with separation of concerns | IEEE Conference Publication | IEEE Xplore