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