Edmund M., Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Ve <br/><br/>
Model Checking 

 -  MIT Press  2018 
<br/><br/><label>ISBN: </label>9780262349451