Modeling as the Foundation of Digital Twins | IEEE Conference Publication | IEEE Xplore