A mixed integer programming formulation for the stochastic lot sizing problem with controllable processing times. (August 2021)