Test of preemptive real-time systems. - Noureddine Adjir; Pierre de Saqui-Sannes; Mustapha Kamel Rahmouni (AICCSA, 2008)

Testing Real-Time Systems Using TINA. - Noureddine Adjir; Pierre de Saqui-Sannes; Mustapha Kamel Rahmouni (TestCom/FATES, 2009)

Timed Test Case Generation Using Labeled Prioritized Time Petri Nets - Noureddine Adjir; Pierre de Saqui-Sannes; Mustapha Kamel Rahmouni; Abdelkader Adla (CoRR, 2012)

Conformance Testing of Preemptive Real-Time Systems. - Noureddine Adjir; Pierre de Saqui-Sannes; Mustapha Kamel Rahmouni (Int. J. Embed. Real Time Commun. Syst., 2013)