Principles Of Model Checking by Christel Baier & Joost-Pieter Katoen