Using UML and OCL Models to Realize High-Level Digital Twins | IEEE Conference Publication | IEEE Xplore