Bonjour,

Je suis en train de développer un module ATL afin de transformer le langage SysML vers Acme:

Voila le module ATL :

module Verification;
create OUT : MetaAcme from IN : MetaSysml;...