Tracing Integration Analysis in Component-Based Formal Specifications - Lopez-Nores, M.; Pazos-Arias, J. J.; Garcia-Duque, J.; Barragans-Martinez, B.; Diaz-Redondo, R. P.; Fernandez-Vilas, A.; Gil-Solla, A.; Ramos-Cabrer, M. (LECTURE NOTES IN COMPUTER SCIENCE, 2005)