@mastersthesis {7155, title = {Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers}, volume = {PhD}, year = {2019}, month = {03/2019}, pages = {186}, school = {Budapest University of Technology and Economics}, address = {Budapest}, author = {Oszk{\'a}r Semer{\'a}th} }