Towards Model-Based Engineering: A Constraint-Based Approach