Assertion-based verification of industrial WLAN system | IEEE Conference Publication | IEEE Xplore