Formal Verification - Seligman, Erik; Kumar, M V Achutha Kiran; Schubert, E. Thomas; Kumar M.Tech, M. V. Achutha Kiran; Schubert, Tom (Morgan Kaufmann, 2015)