For the MS section, Aspen Tech Model library offers an industrial-scale process model (Figure ), where the thermodynamics, reaction kinetics and mass balance are validated. The process model is reported to be capable to simulate the most common industrial methanol process -ICI Synetix low pressure methanol process (LPM). A four-stage quench reactor is used to perform the heat integration between the inlet stream and exothermic MS reactions. More detailed information about the process models can be referred to the Aspen Tech documents. CO2 + 3H2 ↔ CH3OH + H2O CO2 + H2 ↔ CO + H2O (RWGS)