Assertion-based verification of industrial WLAN system. - Infall Syafalni; Nico Surantha; Duc Khai Lam; Nana Sutisna; Yuhei Nagao; Katsuhiko Wakasugi; Yang Tongxin; Hiroshi Ochi; Taadaki Tsuchiya (ISCAS, 2016)