Text this: Verifying temporal properties of systems