@Article{ZBB10,
author={H. Zayani and K. Barkaoui and R. Ben Ayed},
title={Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol},
journal={International Journal of Wireless \& Mobile Networks},
year={2010},

volume={2},
number={2},
pages={156--170},
publisher={},
month={},
note={},
key={}
}