Model Variations and Automated Refinement of Domain-Specific Modeling Languages for Robot-Motion Control