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