Multi-way Semantic Specification of Domain-Specific Modeling Languages | IEEE Conference Publication | IEEE Xplore