@inproceedings {271,
	title = {Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models},
	booktitle = {Proc. Fourth IEEE Int. Symposium on High Assurance Systems Engineering (HASE{\textquoteright}99)},
	year = {1999},
	month = {1999},
	pages = {37 - 45},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	author = {Mario Dal Cin and G{\'a}bor Huszerl and Konstantinos Kosmidis}
}
