Towards Artifacts-Based Behavior Modeling of Cyber-Physical Systems for Building Digital Twins | IEEE Conference Publication | IEEE Xplore