Sanjit A. Seshia, Natasha Sharygina, Stavros Tripakis: Modeling for Verification. Handbook of Model Checking 2018: 75-105