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 March 21, 2025. https://ijritcc.org/index.php/ijritcc/article/view/10460.