Dirk Beyer, Sumit Gulwani, David A. Schmidt: Combining Model Checking and Data-Flow Analysis. Handbook of Model Checking 2018: 493-540