Title: Temporal Logic and State Systems