Control Synthesis of Energy Harvesting MEMS Devices with Load-based Spectral Logic Specifications | IEEE Conference Publication | IEEE Xplore