Pushplata Patel. “Model Checking and Runtime Verification of Decentralized Smart Contract Interactions”. International Journal of Communication and Computer Technologies, vol. 7, no. 2, Dec. 2019, pp. 38-41, https://eccsubmit.com/index.php/ijccts/article/view/165.