Text this: Logical Analysis of Hybrid Systems