Uses of Class
net.automatalib.util.ts.TS.TransRef