Logical Foundations of Cyber-Physical Systems (15-424)