Automatic synthesis from UML/MARTE models using channel semantics | Publicación