Modelling High Temperature Oxidation in Iron–Chromium Systems: Combined Kinetic and Thermodynamic Calculation of the Long-Term Behaviour and Experimental Verification