Using UML and OCL Models to Realize High-Level Digital Twins | Publicación