A New Approach to Use Partial Results During Image Computation in BDD Based Symbolic Model Checking.