A temporal logic for reasoning about processes and plans - McDermott, D (Cognitive Science, 1982)