Gerard J. Holzmann: Explicit-State Model Checking. Handbook of Model Checking 2018: 153-171