A Case Study on the Application of Digital Twins for Enhancing CPS Operations