Spatio-Temporal Properties Analysis for Cyber-Physical Systems