Kumar, Y. N., & Madhavi, K. (2025). Specification and Verification Framework with Time Constraints for Security. International Journal of Computer Sciences and Engineering, 6(11), 607–614. https://doi.org/10.26438/ijcse/v6i11.607613