A hierarchical framework for designing reliable distributed systems | IEEE Conference Publication | IEEE Xplore