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)

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)