José J. Pazos Arias Jorge García Duque SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. 50-91 2001 13 Formal Asp. Comput. 1 http://link.springer.de/link/service/journals/00165/bibs/1013001/10130050.htm db/journals/fac/fac13.html#AriasD01