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 March 29, 2024. https://etasr.com/index.php/ETASR/article/view/4611.