A State Space Reduction Method for Model Checking of Wireless Multi-Hop Network Routing Protocols Focusing on Topologies | IEEE Conference Publication | IEEE Xplore