You are about to access our book library "Kleene-Sch|tzenberger and B|chi Theorems for Weighted Timed Automata full version" .