Dennis Dams, Orna Grumberg: Abstraction and Abstraction Refinement. Handbook of Model Checking 2018: 385-419