Ontology-based framework for the generation of interlock code with redundancy elimination | IEEE Conference Publication | IEEE Xplore