Ontology-based approach to Basic Grafcet formalization | Publicación