Text this: Tool−support for the analysis of hybrid systems and models