Model Checking Software - Alfons Laarman, Ana Sokolova (Springer, 2021)