Formal and Practical Aspects of Domain-Specific Languages