Nariman Mani Vahid Garousi Behrouz H. Far Search-Based Testing of Multi-Agent Manufacturing Systems for Deadlocks Based on Models. 417-437 2010 19 International Journal on Artificial Intelligence Tools 4 http://dx.doi.org/10.1142/S0218213010000261 db/journals/ijait/ijait19.html#ManiGF10