Nithesh Gudipuri 2022. Behavioral Continuity Verification for Modernizing Mission-Critical Financial Transaction Systems. Journal of Computational Analysis and Applications (JoCAAA). 30, 2 (Nov. 2022), 1301–1315.