Timed Specifications for the Development of Real-time Systems. - Jacques Jaray (FTRTFT, 1988)

A Specification and Validation Technique Based on STATEMATE and FNLOG. - Olfa Mosbahi; Leila Jemni Ben Ayed; Samir Ben Ahmed; Jacques Jaray (ICFEM, 2002)

Formal development method of control systems using the event-based B approach Case study : A parcel sorting device. - Olfa Mosbahi; Jacques Jaray; Leila Jemni Ben Ayed (AICCSA, 2006)

Specification and Proof of Liveness Properties in B Event Systems. - Olfa Mosbahi; Jacques Jaray (ICSOFT (SE), 2007)

A Formal Approach for the Development of Automated Systems. - Olfa Mosbahi; Leila Jemni Ben Ayed; Jacques Jaray (ICSOFT (SE), 2007)