TY  - BOOK
TI  - Handbook of model checking
U1  - 4.21 
ER  -