SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study José J. Pazos AriasJorge García Duque Pages: 50 - 91