Analysis of political and trade decisions in international gas markets: A model-based systems engineering framework | IEEE Conference Publication | IEEE Xplore