Symposium on Real-Time and Hybrid Systems - Jones; Ji Wang; Naijun Zhan; Wang, Ji; Zhan, Naijun (Springer International Publishing, 2018)