@inproceedings {279,
	title = {UML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module},
	booktitle = {Formal Methods for Railway Operation and Control Systems},
	year = {2003},
	month = {2003},
	pages = {125 - 132},
	publisher = {L{\textquoteright}Harmattan Kiad{\'o}},
	organization = {L{\textquoteright}Harmattan Kiad{\'o}},
	address = {Budapest},
	author = {Andr{\'a}s Pataricza and Istv{\'a}n Majzik and G{\'a}bor Huszerl and Gy{\"o}rgy V{\'a}rnai},
	editor = {G{\'e}za Tarnai and Etienne Schnieder}
}
