The KARL/KARATE System: Automatic Test Pattern Generation Based on RT Level Descriptions. - Gerold Affs; Reiner W. Hartenstein; Andrea Wodtko (ITC, 1988)