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