Meir Kalech Michael Lindner Gal A. Kaminka Matrix-based representation for coordination fault detection: a formal approach. 118 2007 conf/atal/2007 AAMAS http://doi.acm.org/10.1145/1329125.1329270 db/conf/atal/aamas2007.html#KalechLK07