@inproceedings {BM-WOSP-07,
	title = {A UML Profile for Dependability Analysis of Real-Time Embedded Systems},
	year = {2007},
	month = {2},
	pages = {115-124},
	publisher = {ACM},
	organization = {ACM},
	author = {S. Bernardi and Jos{\'e} Merseguer}
}

