Thermal Design of the Air Temperature Sensor (ATS) and the Thermal InfraRed Sensor (TIRS) of the Mars Environmental Dynamics Analyzer (MEDA) for Mars 2020