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