Injecting Faults in Byzantine Fault Tolerant Protocols - Ricardo Jorge Alves Fernandez (2021)