A Notion of Non-Interference for Timed Automata