An Industrial Experience on LOTOS-Based Prototyping for Switching Systems Design. - Gonzalo León; Juan C. Yelmo; Carlos Sánchez 002; F. Javier Carrasco; Juan J. Gil (FME, 1993)

An Industrial Experience on Development with LOTOS and SDL. - Gonzalo León; J. Carracedo; J. C. Moreno; Juan C. Yelmo; Juan J. Gil; Carlos Sánchez 002; F. Javier Carrasco (FORTE, 1993)

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)

FDT based development of an interworking unit between LANs and X.25 networks. - Juan C. Yelmo; F. Javier Carrasco; Carlos Sánchez 002; Juan J. Gil; C. Ramos; M. I. Felipe (FORTE, 1994)