H. M. Z. R. G. Taoufik Saidani, “ Comparing Two Inclusion Techniques in Timed Automata”, IJRITCC, vol. 12, no. 2, pp. 85–90, Apr. 2024.