SAE/TP 2011-01-2505 (PDF) Design and Verification Approach for a Complex State-Based Fuel Cell Control System