A formal model based on Game Theory for the analysis of cooperation in distributed service discovery | Publicación