发送短信 : Modelling and Analysis of Hybrid Supervisory Systems