José J. Pazos Arias, Jorge García Duque. SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. Formal Asp. Comput., 13(1):50-91, 2001. [doi]
@article{AriasD01,
title = {SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study},
author = {José J. Pazos Arias and Jorge García Duque},
year = {2001},
url = {http://link.springer.de/link/service/journals/00165/bibs/1013001/10130050.htm},
tags = {case study},
researchr = {https://researchr.org/publication/AriasD01},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {13},
number = {1},
pages = {50-91},
}