A language for writing system specifications in an aeronautical context. - Benoît Lebeaupin (RE, 2015)

A language proposition for system requirements. - Benoît Lebeaupin; Antoine Rauzy; Jean-Marc Roussel (SysCon, 2017)

Toward a better integration of requirements and model-based specifications. - Benoît Lebeaupin; Antoine Rauzy (Syst. Eng., 2020)