Metode provjere komunikacijskih protokola temeljene na modelu automata : magistarski rad. - Žagar, Drago (Zagreb : Fakultet elektrotehnike i računarstva - Zagreb, 1995)