Taoufik Saidani, H. M. Z. R. G. “Comparing Two Inclusion Techniques in Timed Automata”. International Journal on Recent and Innovation Trends in Computing and Communication, vol. 12, no. 2, Apr. 2024, pp. 85-90, https://ijritcc.org/index.php/ijritcc/article/view/10460.