The following publications are possibly variants of this publication:
- SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case StudyJosé J. Pazos Arias, Jorge García Duque. fac, 13(1):50-91, 2001. [doi]
- Incremental specification with SCTL/MUS-T: a case studyAna Fernández Vilas, José J. Pazos Arias, Alberto Gil-Solla, Rebeca P. Díaz Redondo, Jorge García Duque, Ana Belén Barragáns-Martínez. jss, 70(1-2):189-208, 2004. [doi]
- An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS MethodologyJorge García Duque, José J. Pazos Arias, Ana Belén Barragáns-Martínez. RE 2002: 282-288 [doi]