Metoda ispitivanja specifikacije telekomunikacijskih protokola : magistarski rad - Maloku, Naim (N. Maloku, 2000)