Heuristic-Guided Verification for Fast Congestion Detection on Wireless Sensor Networks. - Khanh Le; Toan Nguyen; Thanh Cao; Thang H. Bui; Tho Quan 001 (FDSE, 2016)