Kaylash Chaudhary and Ansgar Fehnker, Modeling and Verification for the Micropayment Protocol Netpay. journal = {International Journal of Mathematical and Computational Sciences}, [online]. World Academy of Science, Engineering and Technology. December 2012, vol. 72(12). 1718 - 1726 [viewed 23 April 2024]. Available from: https://publications.waset.org/pdf/5912.