@inproceedings {graics_molnar_minisy17,
	title = {Formal Compositional Semantics for Yakindu Statecharts},
	booktitle = {Proceedings of the 24th PhD Mini-Symposium},
	year = {2017},
	pages = {22{\textendash}25},
	address = {Budapest, Hungary},
	isbn = {978-963-313-243-2},
	author = {Bence Graics and Vince Moln{\'a}r},
	editor = {Pataki, B{\'e}la}
}
