Text this: Verification and Control of Hybrid Systems