Kuan-Jen Lin, Chen-Shang Lin: On the verification of state-coding in STGs. ICCAD 1992: 118-122