https://www.abebooks.com/9780262026499/Principles-Model-Checking-Press-Baier-026202649X/plp
Principles of Model Checking (Mit Press) - Baier, Christel; Katoen, Joost-Pieter: 9780262026499 -...
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive...
principles of model checkingmit press