The Temporal Logic of Reactive and Concurrent Systems: Specifications. The Temporal Logic of Reactive and Concurrent Systems (1992)

by Zohar Manna, Amir Pnueli