Specification and Synthesis of Communicating Finite State Machines. - H. Belhadj; Laurent Gerbaux; Marie-Claude Bertrand; Gabriele Saucier (Synthesis for Control Dominated Circuits, 1992)

Runtime Test Solution for Adaptive Aging Compensation and Fail Operational Safety mode. - Vincent Huard; Francois Jacquet; Souhir Mhira; Lionel Jure; Olivier Montfort; Mathieu Louvat; L. Zaia; F. Bertrand; E. Acacia; O. Caffin; H. Belhadj; O. Durand; et al. (IRPS, 2022)