Specifying Some Key SE Training Artifacts. - David Gouyon; Fabien Bouffaron; Gérard Morel (CSDM, 2013)

Improving Physical-Physiological Interaction Requirements for Maintenance Enabling Systems Specification. - Romain Lieber; Jean-Marc Dupont; Fabien Bouffaron; Gérard Morel (IFAC HMS, 2013)

Checking models based on an iterative co-specification process of a critical system. - Fabien Bouffaron; Pascale Marange; Gérard Morel (INDIN, 2014)