@inproceedings {311,
	title = {Development of Model Based Tools to Support the Design of Railway Control Applications},
	booktitle = {Computer Safety, Reliability, and Security},
	year = {2007},
	month = {2007},
	pages = {430 - 435},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	address = {Berlin},
	url = {http://www.mit.bme.hu/~pinter/publications-files/majzik-micskei-pinter-2007-safecomp-development-of-model-based-tools-to-support-the-design-of-railway-control-applications.pdf},
	author = {Istv{\'a}n Majzik and Zolt{\'a}n Micskei and Gergely Pint{\'e}r}
}
