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