Principles of Model Checking - Baier, Christel; Katoen, Joost-Pieter; Larsen, Kim Guldstrand (MIT Press, The, 2016)