A Transformational Approach to Constraint Relaxation of a Time-driven Simulation Model