NL2IBE – Ontology-controlled Transformation of Natural Language into Formalized Engineering Artefacts | IEEE Conference Publication | IEEE Xplore