The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border | IEEE Conference Publication | IEEE Xplore