Taoufik Saidani, Hafedh Mahmoud Zayani, Refka Ghodhbani,. 2024. “Comparing Two Inclusion Techniques in Timed Automata”. International Journal on Recent and Innovation Trends in Computing and Communication 12 (2):85-90. https://www.ijritcc.org/index.php/ijritcc/article/view/10460.