The Temporal Logic of Reactive and Concurrent Systems: Specification (1991)

by Z Manna, A Pnueli