uTimer : a Uniform Low-level Timer API for RIOT OS - Niels Gandraß and Michel Rottleuthner and Thomas C. Schmidt (IEEE, 2021)