Automatic generation of digital twin industrial system from a high level specification | Publicación