Two-stage no-wait hybrid flow shop scheduling with inter-stage flexibility: A mathematical model | IEEE Conference Publication | IEEE Xplore