Tools and Algorithms for the Construction and Analysis of Systems - Grumberg, Orna; Huth, Michael (Springer Berlin Heidelberg, 2007)