An efficient algorithm for the design of fault tolerant multi-sensor system. - Slirnane Attouche; Said Hayat; Marcel Staroswiecki (CDC, 2001)

Simulation of Railway Stations based on Hybrid Petri Nets. - Fateh Kaakai; Said Hayat; Abdellah El Moudni (ADHS, 2006)

A hybrid Petri nets-based simulation model for evaluating the design of railway transit stations. - Fateh Kaakai; Said Hayat; Abdellah El Moudni (Simul. Model. Pract. Theory, 2007)

Optimal Design of Dependable Control System Architectures Using Temporal Sequences of Failures. - Joffrey Clarhaut; Vincent Cocquempot; Blaise Conrard; Said Hayat (IEEE Trans. Reliab., 2009)

Design of dependable system architectures for a railroad smart wagon using shared functions. - Joffrey Clarhaut; Said Hayat; Blaise Conrard; Vincent Cocquempot (ITSC, 2010)