State space reduction using partial order techniques - Clarke, E.M.; Grumberg, O.; Minea, M.; Peled, D. (International journal on software tools for technology transfer, 1999)