Overview of Logical Foundations of Cyber-Physical Systems