Principles of model checking - Baier, Christel; Katoen, Joost-Pieter 1964- (The MIT Press, 2008)