An interval temporal logic characterization of extended ω-regular languages | Publicación