From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform. - Tarek Sadani; Pierre de Saqui-Sannes; Jean-Pierre Courtiat (SEFM, 2005)

Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. - Tarek Sadani; Marc Boyer; Pierre de Saqui-Sannes; Jean-Pierre Courtiat (FORTE, 2006)

Mapping RT-LOTOS Specifications into Time Petri Nets. - Tarek Sadani; Marc Boyer; Pierre de Saqui-Sannes; Jean-Pierre Courtiat (ICFEM, 2006)

Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temps-réel décrits en RT-LOTOS. - Tarek Sadani (2007)

Performance analysis of real-time rewriting models. - Jounaidi Ben Hassan; Osman Hasan; Tarek Sadani; Sofiène Tahar (AICCSA, 2010)