A case study: optimization-based batch production scheduling | IEEE Conference Publication | IEEE Xplore