@inproceedings {327,
	title = {Formal Verification of Fault Tolerance Techniques in UML},
	booktitle = {Dependable Computing - EDCC-3, Fast Abstracts},
	year = {1999},
	month = {1999},
	pages = {19 - 20},
	publisher = {Czech Technical University},
	organization = {Czech Technical University},
	url = {http://mycite.omikk.bme.hu/doc/16330.pdf},
	author = {Istv{\'a}n Majzik and Judit J{\'a}vorszky}
}
