Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications 1.
Authors: E.M. Clarke , E.A. Emerson, A. P. Sistla Presented by Anjana Chatta