Modeling of fault-tolerant techniques in hierarchical systems | IEEE Conference Publication | IEEE Xplore