aquaveo/stable: links for timed-fsm