The Temporal Logic of Reactive and Concurrent Systems (1991)

by Z Manna, A Pnueli