Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems - Ezekiel, J; Lomuscio, AR (Information and Computation, 2016)