Expert systems for automated maintenance of a Mars oxygen production system | lit.salon