Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis | IEEE Conference Publication | IEEE Xplore