E. Arafailova, Reformulation of automata for time series constraints as linear programs, 2015.

N. Beldiceanu, M. Carlsson, R. Debruyne, and T. Petit, Reformulation of Global Constraints Based on Constraints Checkers, Constraints, vol.11, issue.2, pp.339-362, 2005.
DOI : 10.1007/s10601-005-2809-x

N. Beldiceanu, M. Carlsson, R. Douence, and H. Simonis, Using finite transducers for describing and synthesising structural time-series constraints, Constraints, vol.38, issue.11, pp.22-40, 2016.
DOI : 10.1007/s10601-015-9200-3

URL : https://hal.archives-ouvertes.fr/hal-01370322

N. Beldiceanu, M. Carlsson, and T. Petit, Deriving Filtering Algorithms from Constraint Checkers, CP 2004, pp.107-122, 2004.
DOI : 10.1007/978-3-540-30201-8_11

N. Beldiceanu, P. Flener, J. Pearson, and P. Van-hentenryck, Propagating regular counting constraints, AAAI 2014, pp.2616-2622, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01086758

J. Berstel, Transductions and Context-Free Languages, Teubner, 1979.
DOI : 10.1007/978-3-663-09367-1

URL : https://hal.archives-ouvertes.fr/hal-00619779

M. Carlsson, G. Ottosson, and B. Carlson, An open-ended finite domain constraint solver, PLILP 1997, pp.191-206, 1997.
DOI : 10.1007/BFb0033845

M. C. Côté, B. Gendron, and L. M. Rousseau, Modeling the regular constraint with integer programming, CPAIOR 2007, pp.29-43, 2007.

S. Demassey, G. Pesant, and L. M. Rousseau, A Cost-Regular Based Hybrid Column Generation Approach, Constraints, vol.12, issue.4???5, pp.315-333, 2006.
DOI : 10.1007/s10601-006-9003-7

URL : https://hal.archives-ouvertes.fr/hal-00293562

F. Rodríguez, M. A. Flener, P. Pearson, and J. , Implied constraints for automaton constraints, GCAI 2015. EasyChair Epic Series in Computing (forthcoming )

G. Optimization and . Inc, Gurobi optimizer reference manual, www.gurobi.com 13. Minoux, M.: Personal communication, 2015.

G. Pesant, A Regular Language Membership Constraint for Finite Sequences of Variables, CP 2004, pp.482-495, 2004.
DOI : 10.1007/978-3-540-30201-8_36

J. Sakarovitch, Elements of Language Theory, 2009.

S. Sankaranarayanan, H. B. Sipma, and Z. Manna, Constraint-Based Linear-Relations Analysis, SAS 2004, pp.53-68, 2004.
DOI : 10.1007/978-3-540-27864-1_7