Hegyháti Máté: Mathematical models and methodologies in batch process scheduling : [abstract].