Lease Contract with Availability Target and Price Discount | IEEE Conference Publication | IEEE Xplore