Abstract interpretation of reactive systems