Requirements language processing for the effective testing of real-time systems (Software engineering notes, 1978)