Fault injection acceleration using failure models on a virtualized fault-tolerant system. - Bernardo Graça; Frederico Cerveira; Henrique Madeira (EDCC, 2024)