Text this: Verification and control of hybrid systems :