Links for timed-fsm