Sowmya, G., and R. Sridevi. “SmartScan: A Finite State Machine and CTL-Based Formal Verification Framework for Enhanced Security in Smart Contracts”. Informatica, vol. 50, no. 6, Feb. 2026, doi:10.31449/inf.v50i6.8593.