SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation. - Ronan Baduel; Mohammad Chami; Jean-Michel Bruel; Iulian Ober (ECMFA, 2018)

Modeling and verification method for an early validation of a train system. - Ronan Baduel; Iulian Ober; Jean-Michel Bruel (CoRR, 2019)

An integrated model-based early validation approach for railway systems. (Une approche intégrée de validation des systèmes ferroviaires basée sur les modèles). - Ronan Baduel (2019)

Modeling and verification method for an early evaluation of systems of systems interactions. - Ronan Baduel; Iulian Ober; Jean-Michel Bruel (SAC, 2020)