Y. N. Kumar and K. Madhavi, “Specification and Verification Framework with Time Constraints for Security”, Int. J. Comp. Sci. Eng., vol. 6, no. 11, pp. 607–614, Nov. 2025.