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