El Touati Y. Deadline Verification for Web Services Using Timed Automata. Eng. Technol. Appl. Sci. Res. [Internet]. 2022 Feb. 12 [cited 2025 May 12];12(1):8013-6. Available from: https://www.etasr.com/index.php/ETASR/article/view/4611