Lehrstuhl für Informatik 4 (Systemsoftware) / Public / EnergyTimers (SOSP 2019 SRC) / LTC2991 Firmware