A Model-Based Methodology to Formalize Specifications of Railway Systems. - Melissa Issad; Leïla Kloul; Antoine Rauzy (IMBSA, 2014)

Incremental Modeling Methodology of Railway System Specifications. - Melissa Issad; Leïla Kloul; Antoine Rauzy (CSDM, 2016)

Modeling the CBTC Railway System of Siemens with ScOLa. - Melissa Issad; Leïla Kloul; Antoine Rauzy; Karim Berkani (Int. J. Intell. Transp. Syst. Res., 2018)

Scenario-oriented reverse engineering of complex railway system specifications. - Melissa Issad; Leïla Kloul; Antoine Rauzy (Syst. Eng., 2018)