1. H. R. Andersen, “An Introduction to Binary Decision Diagrams,” Lecture Notes, IT University of Copenhagen, 1999.
2. Model Checking;Clarke,1999
3. Koen Claessen, Niklas Een, Mary Sheeran, and Nkklas Sorensson. “SAT-solving in practice.” Workshop on Discrete Event Systems, Goteborg, Sweden, 2008.
4. Logic in Computer Science, Modeling and Reasoning about Systems;Huth,2000
5. Introduction to Formal Hardware Verification;Kropf,1999