An Industrial Experience of Using an Incremental Model of Technology Transfer of Formal Development Methods. - Gonzalo León; J. Carracedo; Juan C. Yelmo; Carlos Sánchez 002; J. C. Moreno; Juan J. Gil; J. Carrasco (Diffusion, Transfer and Implementation of Information Technology, 1993)