Kumar, Y. N.; Madhavi, K. Specification and Verification Framework With Time Constraints for Security. Int. J. Comp. Sci. Eng. 2025, 6, 607-614.