Title: Verifying Temporal Properties of Systems