A mathematical theory of correct executions in temporal databases supporting concurrent simulations. - Jyandung Tony Young; John C. Peck (ACM Southeast Regional Conference, 1998)