A simulation-based benders' cuts generation for the joint workstation, workload and buffer allocation problem | IEEE Conference Publication | IEEE Xplore