Verification, Model Checking, And Abstract Interpretation door E.A. Emerson