public for timedautomata
public for timedautomata zith the files