A new compositional method for condensed state-space verification | IEEE Conference Publication | IEEE Xplore