Afin de minimiser la consommat ion d’énergie dans un Réseau de Capteurs Sans Fil (RCSF), plusieurs techniques de modélisation formelles ont été proposées dans la littérature, notamment la technique basée sur les modèles ...