EL TOUATI, Y. Deadline Verification for Web Services Using Timed Automata. Engineering, Technology & Applied Science Research, Greece, v. 12, n. 1, p. 8013–8016, 2022. DOI: 10.48084/etasr.4611. Disponível em: https://etasr.com/index.php/ETASR/article/view/4611. Acesso em: 30 jun. 2024.