Adding Dependability Analysis Capabilities to the MARTE Profile | Publicación