A Requirements Driven Digital Twin Framework: Specification and Opportunities | IEEE Journals & Magazine | IEEE Xplore