Text this: Modelling, analysis, and design of hybrid systems