Automated Analysis and Code Generation for Domain-Specific Models | IEEE Conference Publication | IEEE Xplore