A methodology for model−checking ad−hoc networks - Zakiuddin, I; Goldsmith, M; Whittaker, P; Gardiner, P (Springer−Verlag, 2003)