Manage Complexity by Simulating Requirements
A model-based approach advocates the modeling of operating conditions and dynamic states, related functions, and the simulation of functional requirements to detect and rectify issues with requirements before the detail design activity.
This eBook explains the benefits of formalizing requirements before starting the design.