Modelling And Analysis Of Hybrid Supervisory Systems by Emilia Villani, Paulo Eigi Miyagi & Paulo E. Miyagi