Two-stage flow shop with a batch processor and limited buffer | IEEE Conference Publication | IEEE Xplore