Efficient Design of High-Resolution Timekeeping in Real-Time Operating Systems | Synapse