The fault-tolerant architecture of the safe system. - Henrique Madeira; Boavida Fernandes; Mário Zenha Rela; João Gabriel Silva (Microprocessing and Microprogramming, 1989)