Email Record: Modelling and analysis of hybrid supervisory systems :