Model Checking Software - Dragan Bošna?ki, Anton Wijs (Springer, 2016)