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