Modelling and Analysis of Hybrid Supervisory Systems - Villani, Emilia; Grimble , Michael J.; Miyagi, Paulo Eigi; Valette, Robert (Springer London, 2007)