Ana 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 Incremental specification with SCTL/MUS-T: a case study. 189-208 2004 70 Journal of Systems and Software 1-2 http://dx.doi.org/10.1016/S0164-1212(03)00067-0 db/journals/jss/jss70.html#VilasAGRDB04