Using OWL Ontologies as a Domain-Specific Language for Capturing Requirements for Formal Analysis and Test Case Generation | IEEE Conference Publication | IEEE Xplore