Text this: Modelling, Analysis and Design of Hybrid Systems