Fuel Cell Thermal Management: Modeling, Specifications, and Correct-by-Construction Control Synthesis. - Liren Yang; Amey Y. Karnik; Benjamin Pence; Md Tawhid Bin Waez; Necmiye Ozay (IEEE Trans. Control. Syst. Technol., 2020)