Pushplata Patel, “Model Checking and Runtime Verification of Decentralized Smart Contract Interactions”, International Journal of Communication and Computer Technologies, vol. 7, no. 2, pp. 38–41, Dec. 2019.