Manuel J. Fernández Iglesias, Juan C. Burguillo-Rial, Francisco J. González-Castaño, Martín Llamas Nistal. Wireless protocol testing and validation supported by formal methods. A hands-on report. Journal of Systems and Software, 75(1-2):139-154, 2005. [doi]
Abstract is missing.