@techreport {BMP-RR-08,
	title = {An UML profile for dependability analysis and modeling of software systems},
	year = {2008},
	month = {5},
	pages = {47},
	author = {S. Bernardi and Jos{\'e} Merseguer and D. Petriu}
}

