Refinement of LTL Formulas for Abstract Model Checking | Publicación