El Touati, Y. “Deadline Verification for Web Services Using Timed Automata”. Engineering, Technology & Applied Science Research, vol. 12, no. 1, Feb. 2022, pp. 8013-6, doi:10.48084/etasr.4611.