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.