Region based containers — A new paradigm for the analysis of fault tolerant networks | IEEE Conference Publication | IEEE Xplore