Mixed-Time Representation for State-Task Network Models