Principles of Model Checking
Baier, Christel / Katoen, Joost-Pieter / Larsen, Kim Guldstrand A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software, with extensive examples and both practical and theoretical exercises.