Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
scientific article; zbMATH DE number 6714833