El Touati, Y. “Deadline Verification for Web Services Using Timed Automata”. Engineering, Technology & Applied Science Research 12, no. 1 (February 12, 2022): 8013–8016. Accessed May 12, 2025. https://www.etasr.com/index.php/ETASR/article/view/4611.