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