Design-Space Exploration through Constraint-Based Model-Transformation | IEEE Conference Publication | IEEE Xplore