Hierarchical, object-oriented modeling of fault-tolerant computer systems | Publicación