Primjena modela diskretnog automata u procesu testiranja programske podrške elektroničkih komutacija : magistarski rad - Zorić, Milan (Elektrotehnički fakultet, 1982)