A verification strategy for fault-detection and fault-tolerance circuits. - Boschi, Gabriele; Mariani, Riccardo; Lorenzini, Stefano (2011)