Methodology for LAN Modeling and Analysis Using Petri Nets Based Models. - Nathalie Bergé; Mazen Samaan; Guy Juanole; Youcef Atamna (MASCOTS, 1994)

Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. - Michel Le Borgne; Hervé Marchand; Éric Rutten; Mazen Samaan (AMAST, 1996)

Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology. - Hervé Marchand; Mazen Samaan (IEEE Trans. Software Eng., 2000)

Formal verification of programs specified with signal: application to a power transformer station controller. - Hervé Marchand; Éric Rutten; Michel Le Borgne; Mazen Samaan (Sci. Comput. Program., 2001)