A mathematical model for simultaneous personnel shift planning and unrelated parallel machine scheduling