Aceto, L.; Ingólfsdóttir, A. Characteristic Formulae: From Automata to Logic. BRICS 2007, 14.