Mathematical modeling and dynamic Simulink simulation of high-pressure PEM electrolyzer system