Automatic Generation of functional test patterns from RT language source - Hartenstein, Reiner W. (Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht, 1985)