A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems.