Active Monitoring for Control Systems under Anticipatory Semantics | IEEE Conference Publication | IEEE Xplore