Fault-Tolerant Automatic Control. - Marc Bodson; John P. Lehoczky; Ragunathan Rajkumar; Lui Sha; Jennifer Stephan (Responsive Computer Systems, 1995)