Lange, M. Temporal Logics Beyond Regularity. BRICS 2007, 14.