SPaRe: selective partial replication for concurrent fault detection in FSMs | IEEE Conference Publication | IEEE Xplore