El Touati, Y. Deadline Verification for Web Services Using Timed Automata. Eng. Technol. Appl. Sci. Res. 2022, 12, 8013-8016.