أرسل هذا في رسالة قصيرة: Modelling and Analysis of Hybrid Supervisory Systems