Sensitivity of seasonal variations of the muon energy spectrum in air showers to hadronic interaction models and the cosmic-ray mass composition | Synapse