Dependable Circuits Based on the XMR Architecture - José Miguel Vieira dos Santos (1998)