Principles of model checking - Baier, Christel (The MIT Press, 2012)