Taoufik Saidani, H. M. Z. R. G. Comparing Two Inclusion Techniques in Timed Automata. IJRITCC 2024, 12, 85-90.