Optimization models for techno-economic and environmental analysis of hydrogen supply chains: A Brazilian case study | Synapse