Behnam Banieqbal Howard Barringer Amir Pnueli Temporal Logic in Specification Lecture Notes in Computer Science 398 Springer 1989 3-540-51803-7 db/conf/tls/tls1987.html