Semantics enhanced engineering and model reasoning for control application development | Publicación