Specifying Software Requirements for Complex System:
Specifying Software Requirements for Complex System: New Techniques and Their Application Guanghui Weng.