Temporal Verification of Reactive Systems by Zohar Manna & Amir Pnueli