Text this: Modelling and analysis of hybrid supervisory systems :