El Touati, Y. (2022). Deadline Verification for Web Services Using Timed Automata. Engineering, Technology & Applied Science Research, 12(1), 8013–8016. https://doi.org/10.48084/etasr.4611