strategFTO: Untimed control for timed opacity