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