Thompson, Matt, Battle, Steve, Padget, Julian, "Telling non-linear stories with interval temporal logic", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015