@inproceedings {272,
	title = {Transformation of Guarded Statecharts for Quantitative Evaluation of Dependable Embedded Systems},
	booktitle = {Proc. 10th European Workshop on Dependable Computing (EWDC-10)},
	year = {1999},
	month = {1999},
	pages = {143 - 187},
	publisher = {{\"O}sterreichische Computer Gesellschaft},
	organization = {{\"O}sterreichische Computer Gesellschaft},
	author = {Mario Dal Cin and G{\'a}bor Huszerl and Konstantinos Kosmidis},
	editor = {Peter Puschner}
}
