Federico Mari Igor Melatti Ivano Salvo Enrico Tronci Lorenzo Alvisi Allen Clement Harry C. Li Model Checking Nash Equilibria in MAD Distributed Systems. 1-8 2008 FMCAD http://dx.doi.org/10.1109/FMCAD.2008.ECP.16 conf/fmcad/2008 db/conf/fmcad/fmcad2008.html#MariMSTACL08