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