Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic | IEEE Conference Publication | IEEE Xplore