Email Record: Nuclear reactor control system design with sensor failure /