Robert P. Kurshan: Transfer of Model Checking to Industrial Practice. Handbook of Model Checking 2018: 763-793