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