Error detection in algorithm-based fault tolerant systems - Al-Mehdar, Omar Salem (2000)