Formula-Oriented Compositional Minimization in Model Checking | IEEE Conference Publication | IEEE Xplore