Formal Verification - Seligman, Erik (Morgan Kaufmann, 2015)