Modelling and Analysis of Hybrid Supervisory Systems - Villani, Emilia (Springer London, 2020)