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://www.eccsubmit.com/index.php/ijccts/article/view/165 (Accessed: 4 February 2026).