Digital Twin Extension with Extra-Functional Properties | IEEE Conference Publication | IEEE Xplore