Automated Analysis and Code Generation for Domain-Specific Models