Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks.

Paulo Sérgio Sausen Pedro Fernandes Ribeiro Neto Angelo Perkusich Antonio Marcus Nogueira de Lima Maria Ligia B. Perkusich Fabiano Salvadori Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks. 49-57 2005 conf/vveis/2005 MSVVEIS db/conf/vveis/msvveis2005.html#SausenNPLPS05