A dependability profile within MARTE | Publicación