Text this: OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models