Symposium on Real-Time and Hybrid Systems - Jones, Cliff (Springer International Publishing, 2020)