1. Sergey Berezin 2002 Model Checking and Theorem Proving a Unified Framework
2. Armin Biere 2009 Handbook of Satisfiability: Bounded Model checking
3. Herbert Rocha 2015 Logic in Computer Science: Model Checking C Programs with Loops via k-Induction and Invariants
4. A Survey of Automated Techniques for Formal Software Verification;DSilva;IEEE Transactions on computer-aided design of integrated circuits and systems,2008
5. Christel Baier Joost Katoen 2008 Principles of Model Checking