Principles of model checking (2008)

by C Baier, J-P Katoen