Defect-based testing of LTS digital circuits by J. Arun