A Process Control Technique Using Planning and Constraint Satisfaction