VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models | IEEE Conference Publication | IEEE Xplore