Links for declarative-fsm