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 Lpicier, Jean-Luc Voirin, Juan F. Navas

Browse the full SAC paper archive.