Dependability Evaluation of Watchdog Processors | Publicación