Combining fault injection and model checking to verify fault tolerance in multi-agent systems.

Jonathan Ezekiel Alessio Lomuscio Combining fault injection and model checking to verify fault tolerance in multi-agent systems. 113-120 2009 AAMAS (1) http://doi.acm.org/10.1145/1558013.1558028 conf/atal/2009-1 db/conf/atal/aamas2009-1.html#EzekielL09