Aiman H. El-Maleh, Wojciech Maly, Thomas E. Marchok, Janusz Rajski, “Test Pattern Generation for an Electronic Circuit Using a Transformed Circuit Description,” US Patent 5,528,604.