1. Cai, Y., Grundy, J., Hosking, J., Dai, X.: Software Architecture Modeling and Performance Analysis with Argo/MTE. In: SEKE 2004 (1990)
2. Chaudhary, K., Dai, X.: P2P-NetPay: An off-line Micro-payment System for Content Sharing in P2P-Networks. JETWI 1(1), 46–54 (2009)
3. Chaudhary, K., Fehnker, A.: Modeling and Verification for the Micropayment Protocol Netpay. In: WASET 2012, vol. 72 (2012)
4. Chaudhary, K., Fehnker, A.: Server-Side Netpay Protocol Models (2015),
http://repository.usp.ac.fj/id/eprint/8165
5. Lecture Notes in Computer Science;X. Dai,2003