Our paper C. Buchheim, M. Merkert: "Extended formulations for control languages defined by finite-state automata" has been published in the journal "Mathematical Programming".