31 S. Bernardi José Merseguer D. Petriu 2008 Adding Dependability Analysis capabilities to the MARTE profile LNCS Springer Verlag 5301 736-750 9