Io: An Estelle Simulator for Performance Evaluation. - D. Fernández; Enrique Vázquez; Juan Vinyes (FORTE, 1991)

Automatic Implementation of TP4/IP with an Estelle Workstation. Development Methodology and Performance Evaluation. - Enrique Vázquez; Pedro Sandoval; Marifeli Sedano; Juan Vinyes (PSTV, 1991)

Architectures for Interworking between B-ISDN and Frame Relay. - Juan Vozmediano; Julio Berrocal; Juan Vinyes (HPN, 1992)

Formal Description Techniques at Work: An ISDN Q.931 Implementation Using LOTOS. - Arturo Azcorra; Enrique Vázquez; Manuel Alvarez-Campana; Juan Vinyes (PSTV, 1993)