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