Scheduling for the Dedicated Machine Constraint in Semiconductor Manufacturing Using a Goal-Oriented Approach | IEEE Conference Publication | IEEE Xplore