Performance Characterization of PEM Fuel Cells Using AC Impedance Spectroscopy I. Model-Based Analysis