Aarti Gupta, Vineet Kahlon, Shaz Qadeer, Tayssir Touili: Model Checking Concurrent Programs. Handbook of Model Checking 2018: 573-611