Parosh Aziz Abdulla, A. Prasad Sistla, Muralidhar Talupur: Model Checking Parameterized Systems. Handbook of Model Checking 2018: 685-725