Digital-Twin Consistency Checking Based on Observed Timed Events With Unobservable Transitions in Smart Manufacturing | IEEE Journals & Magazine | IEEE Xplore