Computation Tree Logic Model Checking Research Articles