Automatic Generation of functional test patterns from RT language source - Wodtko, Andrea (1985)