Tyrrell, A., & Bass, J. (1997). Testing fault-tolerant systems using a unified error model. . https://doi.org/10.1109/EMSCNT.1997.658455