@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} }