Algorithmic Concurrent Error Detection in Complex Digital-Processing Systems | Publicación