Mathematical programming formulations for hybrid flow shop scheduling with parallel machines at the first stage and two dedicated machines at the second stage | IEEE Conference Publication | IEEE Xplore