Truthful Double-auction Mechanisms for Peer-to-peer Energy Trading in a Local Market | IEEE Conference Publication | IEEE Xplore