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)