@article {62887,
	title = {Using priced timed automata for the specification and verification of CSMA/CA in WSNs},
	journal = {International Journal of Information and Communication TechnologyInternational Journal of Information and Communication Technology},
	volume = {17},
	year = {2020},
	month = {2020},
	pages = {129-145},
	isbn = {1466-6642},
	author = {Zohra, Hmidi and KAHLOUL, Laid and BENHARZALLAH, Saber}
}
