Mathematical analysis of a thermodynamically consistent reduced model for iron corrosion. - Cancès, Clément; Chainais-Hillairet, Claire; Merlet, Benoît; Raimondi, Federica; Venel, Juliette (Zeitschrift für Angewandte Mathematik und Physik (ZAMP), 2023)