Algoritamske metode sinteze i analize sustava automata za upravljanje željezničkim prometom : magistarski rad - Davidović, Milan (Elektrotehnički fakultet, 1980)