A network-aware market mechanism for decentralized district heating systems. (15th January 2022)