TaCCS-DFA