A Decidable Notion of Timed Non-Interference