Symposium on real-time and hybrid systems essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday - Jones, Cliff B. 1944-; Wang, Ji; Zhan, Naijun (Springer, 2018)