Discrete Event Simulation Specification