Chaudhary, K. , Fehnker, A. (2012), 'Modeling and Verification for the Micropayment Protocol Netpay', World Academy of Science, Engineering and Technology, Open Science Index 72, International Journal of Mathematical and Computational Sciences, 6(12), 1718 - 1726.