Model Checking Software - Owolabi Legunsen, Grigore Rosu (Springer, 2022)