From Data to Events: Checking Properties on the Control of a System | IEEE Conference Publication | IEEE Xplore