Formal Methods for Wireless Systems