@inproceedings {274,
	title = {Quantitative Analysis of Dependability Critical Systems Based on UML Statechart Models},
	booktitle = {Proc. Fifth IEEE Int. Symposium on High Assurance Systems Engineering, (HASE 2000)},
	year = {2000},
	month = {2000},
	pages = {83 - 92},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	address = {Los Alamitos},
	author = {G{\'a}bor Huszerl and Istv{\'a}n Majzik}
}
