Symbolic and on the Fly Testing with Real-Time Observers. - Rachid Bouaziz; Ousmane Koné (TestCom, 2006)

Optimal tester synthesis for real-time systems. - Rachid Bouaziz; Ismail Berrada (NOTERE, 2008)

Testing Component-Based Real Time Systems. - Rachid Bouaziz; Ismail Berrada (SNPD, 2008)