@inproceedings {3084,
	title = {Verification of the PRISE safety procedure by formal methods},
	booktitle = {Proceedings of the 8th International PhD Workshop on Systems and Control},
	year = {2007},
	note = {On CD},
	month = {2007},
	pages = {49 - 56},
	author = {E. N{\'e}meth and Tam{\'a}s Bartha}
}
