Deadlock analysis for a fault-tolerant system | Publicación