Finite State Finds Critical Vulnerability in Philips' WLAN Module