Design of a Cloud-Native and Highly Available Method and Device for Electricity Spot Market Clearing Based on Breakpoint Recovery | IEEE Conference Publication | IEEE Xplore