Pao-Ann Hsiung Farn Wang Ruey-Cheng Chen On the verification of Wireless Transaction Protocol using SGM and RED. 379-383 2000 conf/rtcsa/2000 RTCSA http://doi.ieeecomputersociety.org/10.1109/RTCSA.2000.896414 db/conf/rtcsa/rtcsa2000.html#HsiungWC00