Creating services with hard guarantees from cycle-harvesting systems | IEEE Conference Publication | IEEE Xplore