@inproceedings {298,
	title = {Automatic Code Generation Based on Formally Analyzed UML Statechart Models},
	booktitle = {Formal Methods for Railway Operation and Control Systems},
	year = {2003},
	month = {2003},
	pages = {45 - 52},
	publisher = {L{\textquoteright}Harmattan Kiad{\'o}},
	organization = {L{\textquoteright}Harmattan Kiad{\'o}},
	address = {Budapest},
	url = {http://www.mit.bme.hu/~pinter/publications-files/pinter-majzik-2003-forms-automatic-code-generation-based-on-formally-analyzed-uml-statechart-models.pdf},
	author = {Gergely Pint{\'e}r and Istv{\'a}n Majzik},
	editor = {G{\'e}za Tarnai and Etienne Schnieder}
}
