A Graphic Model, Simulators and Formal Evaluation of Protocols For Wireless Communication | IEEE Conference Publication | IEEE Xplore