Integration of Quantifier Eliminator with Model Checker and Compositional Reasoner | IEEE Conference Publication | IEEE Xplore