Doplněna struktura časovaných automatů