Text this: Verification of digital and hybrid systems /