On-line error detection and fast recover techniques for dependable embedded processors - Pflanz, Matthias. (Lecture notes in computer science ;)