For process steps involving electrolytes the ElecNRTL extension to the NRTL model provided by Aspen Plus was employed, which accounts for ion-dipole interactions, long-range electrostatic interactions, and electrolyte reaction equilibria alongside conventional molecular interactions. ElecNRTL is applicable for aqueous and mixed-solvent systems at low pressures (< 10 bar) across wide ranges of electrolyte concentration and temperature, 60 has received wide industrial acceptance and has been shown to model VLE reasonably well for various systems. To calculate phase equilibria, the ElecNRTL model requires NRTL parameters α and τ for all compound pairs. For molecule-electrolyte pairs with unknown parameter values, the τ values (τmol,elec, τelec, mol) were set to (8, -4) for water-ion pairs, (10, -2)