Doron Peled: Partial-Order Reduction. Handbook of Model Checking 2018: 173-190