@inproceedings {6987, title = {VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models}, booktitle = {41st International Conference on Software Engineering}, year = {2019}, month = {2019}, publisher = {ACM/IEEE}, organization = {ACM/IEEE}, address = {Montreal, Canada}, url = {https://2019.icse-conferences.org/event/icse-2019-demonstrations-viatra-solver-a-framework-for-the-automated-generation-of-consistent-domain-specific-models}, author = {Oszk{\'a}r Semer{\'a}th and Aren Babikian and Sebastian Pilarski and D{\'a}niel Varr{\'o}} }