High availability analysis and evaluation of heterogeneous dual computer fault-tolerant system | IEEE Conference Publication | IEEE Xplore