Federico Mari Igor Melatti Ivano Salvo Enrico Tronci Lorenzo Alvisi Allen Clement Harry C. Li Model Checking Coalition Nash Equilibria in MAD Distributed Systems. 531-546 2009 SSS http://dx.doi.org/10.1007/978-3-642-05118-0_37 conf/sss/2009 db/conf/sss/sss2009.html#MariMSTACL09