Short Regular Expressions from Finite Automata: Empirical Results - Gruber, H; Holzer, M; Tautschnig, M (Springer, 2009)