Application of the Bernstein form for reliable global optimization of mixed-integer problems in process synthesis and design | IEEE Conference Publication | IEEE Xplore