Textmeddelande: Rigorous Analysis of Routing Protocols Using Game Search