@article {BMP-Models-08,
	title = {Adding Dependability Analysis capabilities to the MARTE profile},
	journal = {LNCS},
	volume = {5301},
	year = {2008},
	month = {9},
	pages = {736-750},
	publisher = {Springer Verlag},
	author = {S. Bernardi and Jos{\'e} Merseguer and D. Petriu}
}

