Rigorous Analysis of Routing Protocols Using Game Search - Zakiuddin, I; Hawkins, T; Moffat, N; Leow, C (2004)