Chaudhary, K. , Fehnker, A.. "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 (2012), 6(12), 1718 - 1726.