Nithesh Gudipuri. “Behavioral Continuity Verification for Modernizing Mission-Critical Financial Transaction Systems”. Journal of Computational Analysis and Applications (JoCAAA), vol. 30, no. 2, Nov. 2022, pp. 1301-15, https://www.eudoxuspress.com/index.php/pub/article/view/5861.