The event-scheduling view of the discrete-event simulation technique is widely used to model and simulate dynamic systems. This paper presents DMOD, a formalization of this technique. It ooers two main advantages. First, it retains the powerful intuitions behind this technique yet makes it easier to use them. In particular, it proposes a new method for logically specifying event preemption. Sec...