The current lifecycle practice of build-then-test for software-reliant (safety and mission) critical systems results in rapidly increasing verification-related rework costs, because 70% of defects are related to poor quality requirements and 80% of defects detected only after the unit test phase. In this research, we produced a workbench of tools that demonstrate a measurable reduction in the cost of verifying system implementations against requirements