Data flow analysis from UML/MARTE models based on binary traces | Publicación