Efficient model checking of fault-tolerant distributed protocols | Publicación