Statistical Model Checking of CSMA/CA in WSNs. - Zohra Hmidi; Laid Kahloul; Saber Benharzallah; Cherifa Othmane (VECoS, 2016)