Text this: Temporal Logic and State Systems