Nir Piterman, Amir Pnueli: Temporal Logic and Fair Discrete Systems. Handbook of Model Checking 2018: 27-73