Activity Specification for Time-based Discrete Event Simulation Models