Y. El Touati, “Deadline Verification for Web Services Using Timed Automata”, Eng. Technol. Appl. Sci. Res., vol. 12, no. 1, pp. 8013–8016, Feb. 2022.