DSE using Alloy Project part. 1 Contents Assignment Meta-modeling using Alloy Creating solutions using Alloy Exporting solutions to Modelica Simulation.
SysML-Modelica Transformation Specification (SE DSIG Meeting, Jacksonville, 3/22/2010)