Dependability analysis of DES based on MARTE and UML state machines models | Publicación