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