Kumar YN, Madhavi K. Specification and Verification Framework with Time Constraints for Security. Int. J. Comp. Sci. Eng. [Internet]. 2025 Nov. 18 [cited 2026 Feb. 2];6(11):607-14. Available from: https://ijcse.isroset.org/index.php/j/article/view/3704