Temporal Verification of Reactive Systems door Zohar Manna & Amir Pnueli