Principles of Model Checking - Christel Baier; Joost-Pieter Katoen; Christel Baier; Joost-Pieter Katoen (Principles of Model Checking, 2008)