Specifying Fairness Constraints and Model Checking with Non-intensional Strategies | Publicación