“…Constraints (17) and (18) enforce that if a product is scheduled before another product in a stage, the same schedule must be preserved in the next cycles. Similarly, makespan of a cycle is equal to the completion time of the last activity in that cycle, (19).…”