Text this: Planning, scheduling, and control integration in the process industries /