Scarpa, M.., and S.. Serrano,  "A new modelling approach to represent the DCF mechanism of the CSMA/CA protocol",  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10378 LNCS, pp. 181-195, 2017.