The temporal logic of reactive and concurrent systems: Specification (1992)

by Z Manna, A Pnueli