Requirements language processing for the effective testing of real-time systems. - Alan M. Davis; Walter J. Rataj (SIGMETRICS Perform. Evaluation Rev., 1978)