Introduction of Quantitative Relative Time into LOTOS. - Juan Quemada; Angel Fernández (PSTV, 1987)

Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. - Juan Quemada; Santiago Pavón; Angel Fernández (FORTE, 1988)

State Exploration by Transformation with LOLA. - Juan Quemada; Santiago Pavón; Angel Fernández (Automatic Verification Methods for Finite State Systems, 1989)

Extending LOTOS towards performance evaluation. - Carlos Miguel; Angel Fernández; Leon Vidaller (FORTE, 1992)

Development of Satellite Communication Networks Based on LOTOS. - Angel Fernández; Carlos Miguel; Leon Vidaller; Juan Quemada (PSTV, 1992)

A LOTOS Based Performance Evaluation Tool. - Carlos Miguel; Angel Fernández; J. M. Ortuño; Leon Vidaller (Comput. Networks ISDN Syst., 1993)

LOTOS Extended with Probablistic Behaviours. - Carlos Miguel; Angel Fernández; Leon Vidaller (Formal Aspects Comput., 1993)

FDDI Performance Evaluation Based on LOTOS Formal Description Tecnique. - Antonio Martínez Maz; Carlos Miguel; E. Pérez; Angel Fernández (HPN, 1994)

Multimedia Systems Based on Satellite Technology. - Francisco Javier Ruiz Piñar; Angel Fernández; Carlos Miguel; Leon Vidaller; Antonio Martínez Mas; Juan Antonio Carral Pelayo (Comput. Networks, 1998)

Fixed-point refinement of OFDM-based adaptive equalizers: An heuristic approach. - Gabriel Caffarena; Angel Fernández; Carlos Carreras; Octavio Nieto-Taladriz (EUSIPCO, 2004)

A DTN System for Nanosatellite-based Sensor Networks using a New ALOHA Multiple Access with Gateway Priority. - Hector Bedon; Carlos Miguel; Angel Fernández; Jong Sou Park (Smart Comput. Rev., 2013)

Message fragmentation assessment in DTN nanosatellite-based sensor networks. - Hector Bedon; Carlos Miguel; Ramón Alcarria; Angel Fernández; Fco. Javier Ruiz (Ad Hoc Networks, 2016)