Methodology for Digital Twin Use Cases: Definition, Prioritization, and Implementation | IEEE Journals & Magazine | IEEE Xplore