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