@string{springer="© Springer-Verlag"}
@InBook{PP18,
 author = {N. Piterman and A. Pnueli},
 editor = {E.M Clarke and T.A. Henzinger and H. Veith and R. Bloem},
 chapter = {Handbook of Model Checking},
 title = {Temporal Logic and Fair Discrete Systems},
 publisher = springer,
 year = {2018},
}