A Framework for Integrated Scheduling and Control using Discrete-Time Dynamic Process Models