Drago: An Ada extension to program fault-tolerant distributed applications | Publicación