Pushplata Patel, “Model Checking and Runtime Verification of Decentralized Smart Contract Interactions”, Int J Comm comp Tech, vol. 7, no. 2, pp. 38–41, Dec. 2019.