Temporal Verification of Reactive Systems

Authors: Zohar Manna, Amir Pnueli - 1995 cited by 815