Comparing Under and Over-Approximations of LTL Properties for Model Checking | Publicación