A hybrid framework for design and analysis of fault-tolerant architectures | IEEE Conference Publication | IEEE Xplore