Model Checking Software - Bartocci, Ezio; Ramakrishnan, C.R. (Springer Berlin Heidelberg, 2013)