Mathematical modelling of the oxidation and dissolution of uranium carbide