Model Checking Software - Fabrizio Biondi, Thomas Given-Wilson, Axel Legay (Springer, 2019)