Statistical Model Checking of CSMA/CA in WSNs.