A local market model involving prosumers taking into account distribution network congestions in smart cities