Reasoning About Wireless Protocol Behavior