Principles of Model Checking, Hardback/Joost-Pieter (RWTH Aachen University) Katoen