A Real-Time Operating System for Physical and Logical Time-Triggered Distributed Computing. - Koki Takado; Takanori Yokoyama; Myungryun Yoo (APIT, 2024)