Text this: Automaton-based comparison of Declare process models