Temporal Logic and State Systems