SPaRe: selective partial replication for concurrent fault-detection in FSMs | IEEE Journals & Magazine | IEEE Xplore