[WBM12] Matthias Woehrle, Rena Bakhshi and Mohammad Reza Mousavi. Mechanized extraction of topology anti-patterns in wireless networks. In Proc. 9th International Conference on Integrated Formal Methods (IFM'12), volume 7321 of LNCS, Springer. 2012. [Presents techniques for verifying wireless networks, including the Trickle and LMAC protocols, making use of PRISM.]
Notes: The original publication is available at link.springer.com.