A Real-Time Operating System for Cyber-Physical Systems Based on Physical Time and Logical Time. - Keiko Amadera; Ayumu Ichimura; Takanori Yokoyama; Myungryun Yoo (IESS, 2019)