Jaan Raik, Raimund Ubar: Sequential Circuit Test Generation Using Decision Diagram Models. DATE 1999: 736-740