A Digital Twin with Runtime-Verification for Industrial Development-Operation Integration | IEEE Conference Publication | IEEE Xplore