Bruno Mermet Gaële Simon GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems. 505-512 2009 AAMAS (1) http://doi.acm.org/10.1145/1558013.1558083 conf/atal/2009-1 db/conf/atal/aamas2009-1.html#MermetS09