Temporal Logic In Finite-State Verification by Lambert M. Surhone & Miriam T. Timpledon