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