A Digital Twin with Runtime-Verification for Industrial Development-Operation Integration. - Siva D. Chandrasekaran Saratha; Christoph Grimm 001; Frank Wawrzik (ICE/ITMC, 2021)