Fault injection acceleration using failure models on a virtualized fault-tolerant system | IEEE Conference Publication | IEEE Xplore