Text this: Nuclear reactor control system design with sensor failure /