Model Checking Software - Bartocci (Springer Berlin Heidelberg, 2013)