Tracing Integration Analysis in Component-Based Formal Specifications.
Martín López NoresJosé Juan Pazos-AriasJorge García DuqueAna Belén Barragáns-MartínezRebeca P. Díaz RedondoAna Fernández VilasAlberto Gil-SollaManuel Ramos CabrerPublished in: FMOODS (2005)