@article {1383,
	title = {Dependability modeling and analysis of software systems specified with UML},
	journal = {ACM Computing Surveys},
	volume = {45},
	year = {2012},
	doi = {10.1145/2379776.2379778},
	url = {http://dl.acm.org/citation.cfm?id=2379778},
	author = {S. Bernardi and Jos{\'e} Merseguer and Dorina C Petriu}
}

