A Real-Time Operating System with GNSS-Based Tick Synchronization. - Takanori Yokoyama; Ayane Matsubara; Myungryun Yoo (CPSNA, 2015)