Towards Formalised Guidelines for Migrating Structured Designs to UML: A Case Study | Publicación