A region-based approach for state estimation of timed automata under no event observation