K. Yue
U. S. C. Information Sciences Institute, Marina del Rey, CA
Validating system requirements by functional decomposition and dynamic analysis
ICSE '89 Proceedings of the 11th international conference on Software engineering