J. B. Jørgensen and L. M. Kristensen, “Verification by State Spaces with Equivalence Classes”, DPB, vol. 26, no. 515, Feb. 1997.