Pushplata Patel (2019) “Model Checking and Runtime Verification of Decentralized Smart Contract Interactions”, International Journal of communication and computer Technologies, 7(2), pp. 38–41. Available at: https://ijccts.org/index.php/pub/article/view/281 (Accessed: 21 November 2025).