Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink. - Christophe Duhil; Jean-Philippe Babau; Eric Lépicier; Jean-Luc Voirin; Juan F. Navas (MODELSWARD, 2020)

Chaining model transformations to develop a system model verification tool: application to capella state machines and data flows models. - Christophe Duhil; Jean-Philippe Babau; Eric Lépicier; Jean-Luc Voirin; Juan F. Navas (SAC, 2020)

ModelRun, une méthode de transformations de modèles pour la vérification de propriétés de modèles de systèmes complexes par simulation. (ModelRun, a model transformation method for complex system models properties checking by simulation). - Christophe Duhil (2021)