María Andreína Francisco Rodríguez: Analysis, synthesis and application of automaton-based constraint descriptions. Uppsala University, Sweden 2017