Jørgensen, J. B.; Kristensen, L. M. Verification by State Spaces With Equivalence Classes. DPB 1997, 26.