An Efficient Timestamp-Based Monitoring Approach to Test Timing Constraints of Cyber-Physical Systems | IEEE Conference Publication | IEEE Xplore