Ansgar Fehnker, Matthias Fruth, Annabelle McIver. Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. In Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna, editors, Methods, Models and Tools for Fault Tolerance. Volume 5454 of Lecture Notes in Computer Science, pages 1-24, Springer, 2009. [doi]
Abstract is missing.