Relationships between UML Sequence Diagrams and the Topological Functioning Model for Backward Transformation | Publicación