Grid Resource Allocation by Means of Option Contracts | IEEE Journals & Magazine | IEEE Xplore