Axiomatic design of smart local energy systems | IEEE Conference Publication | IEEE Xplore