On the Relation of Continuous and Discrete Time Models for the State-Task Network Formulation