The dark side of interval temporal logic: marking the undecidability border | Publicación