Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday - Jones, Cliff; Jones, Cliff; Wang, Ji; Wang, Ji; Zhan, Naijun; Zhan, Naijun (Springer International Publishing : Imprint: Springer, 2018)