SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study | Publicación