Explaining Cyberphysical System Behavior With Digital Twins | IEEE Journals & Magazine | IEEE Xplore