A Case Study for Enhancing Maintenance of Cyber-Physical Systems With Digital Twin | IEEE Journals & Magazine | IEEE Xplore