Model Checking Software - Dragan Bošnački, Anton Wijs; Wijs, Anton (Springer International Publishing, 2016)