As a modeler (WP3), I want to transform SysML to B, so that we have an alternative to Scade.
As a modeler (WP3), I want to transform SysML to B, so that we have an alternative to Scade.