Performance modeling of fault-tolerant systems using VHDL | IEEE Conference Publication | IEEE Xplore