Model Checking Software - María del Mar Gallardo, Pedro Merino (Springer, 2018)