A Case for Multi-level Combination of Theorem Proving and Model Checking Tools | IEEE Conference Publication | IEEE Xplore