Rigorously modelling steam utility systems for mixed integer optimization | IEEE Conference Publication | IEEE Xplore