@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}
}
