Fuel Cell Thermal Management: Modeling, Specifications, and Correct-by-Construction Control Synthesis | IEEE Journals & Magazine | IEEE Xplore