A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes | Publicación