Model Checking and Verification of the Internet Payment System with SPIN. - Wei Zhang 049; Wenke Ma; Huiling Shi; Fu-qiang Zhu (J. Softw., 2012)