Real-Time Specification Patterns and Tools. - Nouha Abid; Silvano Dal-Zilio; Didier Le Botlan (FMICS, 2012)

Verification of real time properties in fiacre language. - Nouha Abid (2012)

A Verified Approach for Checking Real-Time Specification Patterns - Nouha Abid; Silvano Dal-Zilio; Didier Le Botlan (CoRR, 2013)

A formal framework to specify and verify real-time properties on critical systems. - Nouha Abid; Silvano Dal-Zilio; Didier Le Botlan (Int. J. Crit. Comput. Based Syst., 2014)