Hameed, Kashif, Williams, Rob, Smith, Jim, "Analytically redundant controllers for fault tolerance: Implementation with separation of concerns", , 2010