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