11.6 Dependable microprocessors and systems