Keeping requirements and test cases consistent: Towards an ontology-based approach | Synapse