Ensuring opacity in timed systems