Model Checking Software - Biondi (Springer International Publishing, 2019)