Text this: Deriving Homing Sequences for Finite State Machines with Timed Guards