Timers based on different time sources, using the C++11 chrono interface